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 <https://www.w3.org/TR/shacl/#property-paths> E.g., ^onto:firstObjectProperty/onto:secondObjectProperty > On Aug 21, 2020, at 2:09 PM, daniel.j...@gmail.com > <daniel.jp.lav...@gmail.com> wrote: > > 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 > > -- > 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-users+unsubscr...@googlegroups.com > <mailto:topbraid-users+unsubscr...@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 > > <https://groups.google.com/d/msgid/topbraid-users/58e02d62-9d73-4da3-a7b9-653af89b1154n%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/AE695995-EC81-480F-A399-0681D9080DFF%40topquadrant.com.
