Yes this is a typical situation. As soon as a rule produces a blank node it would cause infinite loops unless you add a check such as "unless bnode already exists" as you have done with the minus. The engine will loop until no further triples have been inferred during one iteration.
Holger Sent from my iPad > On 3 May 2016, at 7:35 PM, [email protected] wrote: > > I can overcome this hindrance by adding: > MINUS { > ?r a owl:ObjectProperty . > } > > But I wonder if it is a normal behaviour of the inference engine? What I > should take into account in the future? > > вторник, 3 мая 2016 г., 12:04:42 UTC+3 пользователь [email protected] > написал: >> >> Hello >> I use TopBraid Free Edition. I try to create a new property with the help of >> CONSTRUCT rule. The property should have a propertyChainAxiom. I use the >> following test rule: >> CONSTRUCT { >> ?r a owl:ObjectProperty . >> ?r owl:propertyChainAxiom _:b0 . >> _:b0 rdf:first rdf:nil . >> } >> WHERE { >> BIND (IRI("abc") AS ?r) . >> } >> >> I bind the rule to a class and create an instance of this class. Then I >> start inference process. And it goes into infinite loop. What did I make >> wrong? >> Thanks in advance! > > -- > 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.
