Hallo! I try to use Jena (OWL_DL_MEM_RULE_INF) + Pellet (incl. DL) inferencing to check circles that could be in a ontology, produced through a particular property P that has types owl:TransitiveProperty and owl:IrreflexiveProperty. Jena does generate new P's. My problem is, that it generates also for a property P2 with range xsd:unsignedInt additional ranges such xsd:desimal, short and so on, so I become an inconsistency warning from Pellet. How do I avoid this new ranges? I chain this 2 inference machines and use a loop. Without loop new P and P2 both will not be generated.
Thanks, Andriy -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en
