If it can be said in RDF, it can be said in TopBraid Composer. Underneath, something like this is expressed using blank nodes and lists.
I am not sure how exactly it would look like in a form in Composer. The easiest way for you to experiment yourself is too look at RDF that Protégé is generating when you do something like "relation_1 o inverse (relation_2)", copy and paste it into the code view in Composer (assuming that relation1 and relation_2 are defined) and see what the owl:propertyChainAxiom form field would look like. Or create a very small model just with the chain you want and open it in TBC. However it looks like, what you are actually doing with this expression is creating a blank node and saying that it is an inverse of relation_2. Given RDFS/OWL semantics, it would be inferred that the blank node is an object property. You may have just as well created a named resource (as opposed to the anonymous blank node), said that it was an inverse of relation_2 and then used it in the chain. Number of products that would understand and do something with such complex OWL expressions is very small. If I needed to do something along these lines, I would use a SPIN magic property (property function). Magic properties gets computed on the fly, so you don¹t need to worry about when to invoke inferencing and how to access and maintain an inferred graph. Magic properties are expressed in SPARQL which is a much more portable approach and there are even direct SPIN implementations by other vendors. To see an example of a magic property and how to create one, open kennedysSPINMagic.ttl under TopBraid > Examples. And take a look at, for example, kspin:grandFather. Regards, Irene Polikoff From: <[email protected]> Reply-To: <[email protected]> Date: Saturday, March 19, 2016 at 10:05 AM To: TopBraid Suite Users <[email protected]> Subject: [topbraid-users] TobBraid Composer: propertyChainAxiom + inverse Hello Is it possible to create owl:propertyChainAxiom inversing property within TopBraid Composer? I can create a chain of "direct" properties. E.g. [relation_1, relation_2]. But can I somehow reverse one of the properties in the chain, somehow like this - [relation_1, inv(relation_2) ]? In the Protege I can do it with the help of expression - "relation_1 o inverse (relation_2)" Thanks! -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN. To post to this group, send email to [email protected] --- 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 [email protected]. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN. To post to this group, send email to [email protected] --- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
