Thank you for reply! 2016-03-20 4:52 GMT+03:00 Irene Polikoff <[email protected]>:
> 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. > Yes, I did it and it gave me the following expression [relation_1, owl:inverseOf, relation_2]. I hope that it is the thing I need. > > 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. > I just want not to create an extra entities explicitly (some kind Occam's razor.. if it is applicable here...) > > 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. > Thak you for advice! I will consider this variant. -- 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.
