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?

One quick reply before everything else. Let's avoid existential quantifiers, bring all internal variables to the signature.

ExpressReal in the axiom is a mistake.

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...

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...

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.

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 ...

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...

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...

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...