Using inv () while defining a propertyChainAxiom in TobBraid Composer

[daniel.j...@gmail.com]

Hi,

I am searching for the right syntax to create a propertyChainAxiom in TopBraid Composer.  I want to include the inv() function to inverse one of the object property.  But my definition is always considered invalid.

[inv(onto:firstObjectProperty),

onto:secondObjectProperty]

How can I produce something that TBC will consider valid?

Thanks

[Irene Polikoff]

Not sure what syntax you are using. For OWL, you can use Manchester syntax (not sure it supports property chain axioms) or RDF serialization.

Another option is SHACL. In SHACL, you can use property chains with the SPARQL syntax described here https://www.w3.org/TR/shacl/#property-paths

E.g., ^onto:firstObjectProperty/onto:secondObjectProperty

--
You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to topbraid-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/58e02d62-9d73-4da3-a7b9-653af89b1154n%40googlegroups.com.

[Holger Knublauch]

The property owl:propertyChainAxiom takes rdf:Lists as values, so you
can enter them as [ ex:prop1, ex:prop2 ] in cases where all properties
are named URIs. For inverses you need to use the Source Code tab. We
haven't seen enough users to provide dedicated editing support for those
cases.

Holger