I have what I believe is a simple question that has, unfortunately, got me stymied. How are inconsistencies in an ontology detected in TBC-ME? In particular, if I declare two classes to be disjoint and then create a subClass of each of the classes, I would have thought that the reasoner would tell me that the ontology was now inconsistent. The documentation says:
*Semantic checking* The built-in OWL DL inferencer OWLIM (or any other inferencer of your choice integrated with Composer) can be used to check the semantic validity of your model. Consistency is a check to see whether a particular class can have members if the class can have members, then it is consistent. After you run <http://127.0.0.1:52987/help/topic/org.topbraidcomposer.help/html/Inferences.htm> an OWL DL-aware inference engines, inconsistent classes will be made subclasses of owl:Nothing and also listed in the Inferences View <http://127.0.0.1:52987/help/topic/org.topbraidcomposer.help/html/Inferences_Panel.htm> . I configured the reasoner to run OWLIM. The note that comes up says that it doesn't provide all OWL-DL inferences, but I'm assuming it should provide consistency checking as noted in the documentation. However, running the reasoner does not produce the described result. I even tried creating instances of my inconsistent subclasses but still got no notice of inconsistency. I have run my simple ontology through the Fact++ reasoner in Protégé and indeed the inconsistencies are detected (although I realize that the Protégé reasoner is most likely not an OWL-RL-compliant reasoner.) Any ideas? Thanks in advance -- charlie -- -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages 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 --- 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.
