Search found 213 matches
- Tue Jul 29, 2014 12:28 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 55647
TIP T0001 - Tag
There is Express String in the signature. Generic tag is a string, numerical tag is just one possibility. Or I misunderstood the structure of your example?
- Tue Jul 29, 2014 12:12 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 55647
Re: TIPs revisited - GENERAL
One quick reply before everything else. Let's avoid existential quantifiers, bring all internal variables to the signature.
- Mon Jul 28, 2014 11:45 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 55647
TIP T0001 - Tag
ExpressReal in the axiom is a mistake.
- Mon Jul 28, 2014 11:43 pm
- Forum: Templates
- Topic: TIPs revisited
- Replies: 21
- Views: 55647
TIP T0002 - Actuator Type
Hans, It looks rather strange. You are naming ClassOfPart as ActuatorType while it is really a pattern parameter. Should be the following: T0002C(OOI, VAR1, ActuatorType) ↔ ClassOfInanimatePhysicalObject(OOI) ∧ SpecializationOfClassOfIndividual(http://posccaesar.org/rdl/RDS418769, VAR1) ∧ Classifica...
- Mon Jul 28, 2014 9:55 pm
- Forum: Templates
- Topic: Update of the templates OWL output
- Replies: 5
- Views: 18554
Re: Update of the templates OWL output
Onno, This problem was discussed in letters exchanged between you, Hans and me in October 2013. We can not use rdf:ID with /-namespaces at all. The rdf:ID attribute on a node element (not property element, that has another meaning) can be used instead of rdf:about and gives a relative RDF URI refere...
- Sat Jul 26, 2014 9:41 pm
- Forum: Templates
- Topic: Update of the templates OWL output
- Replies: 5
- Views: 18554
Re: Update of the templates OWL output
Onno, thank you.
Thee old problem remains - templates have hash URIs like http://15926.org/templates-test/templat ... ctiveClass, and roles have slash URIs like http://15926.org/templates-test/hasEffectiveClass.
Thee old problem remains - templates have hash URIs like http://15926.org/templates-test/templat ... ctiveClass, and roles have slash URIs like http://15926.org/templates-test/hasEffectiveClass.
- Sat Jul 26, 2014 2:26 pm
- Forum: Templates
- Topic: Update of the templates OWL output
- Replies: 5
- Views: 18554
Re: Update of the templates OWL output
Removed template descriptions in RDF (we believe nobody was using that). Unfortunately it is not so. My software is strongly relying on them, as OWL template definition conventions are constantly changing. And RDF meta-template descriptions keep an important information about the role order, which ...
- Thu Jul 24, 2014 9:07 am
- Forum: About the 15926
- Topic: Information about the 15926 projects
- Replies: 16
- Views: 76082
.15926 Editor version 1.5beta is released
You can download it from http://techinvestlab.ru/dot15926Editor15beta/ Everything new in this release is about patterns. The Editor finally acquired a visual pattern editor with search capabilities. No more fiddling with Python dictionaries. Pattern libraries are rendered as data sources, patterns a...
- Mon Jun 23, 2014 10:57 pm
- Forum: General discussions
- Topic: Patterns with multiple mappings to templates in FOL
- Replies: 3
- Views: 16587
Re: Patterns with multiple mappings to templates in FOL
After some thought – it is not difficult to define in FOL patterns realized by individual RDF. We can represent RDF triples in FOL in an obvious way: <Subject, Predicate, Object> is equivalent to FOL statement Predicate(Subject, Object). Following this we can add a third mapping option to the Classi...
- Mon Jun 23, 2014 10:26 pm
- Forum: General discussions
- Topic: Patterns with multiple mappings to templates in FOL
- Replies: 3
- Views: 16587
Re: Patterns with multiple mappings to templates in FOL
Hans, Thank you, I've indeed omitted typing of pattern roles. Definitions are improved. As for the general structure - my FOL is very straightforward, following P7. Our intent is to define a ternary logical predicate as a logical formula with 3 free variables. This is what I'm doing: PatternPredicat...