Re: [topbraid-users] detecting inconsistencies in an ontology

[Scott Henninger]

Charlie; A couple of thinks here.  First, the kind of inference you are looking for is possible using the OWL 2 RL profile.  The one extra step is to choose 'Inference... Configure Inferencing' and check the "Complete mode" box.  If you don't do that, then Composer will take it that the subclass inferences are implied and not find the disjoint problem.   Use the Problems View (Window > Show View > Problems) to see the inconsistencies.  If you also turn on "Display constraint violation warnings" (yellow warning triangle in Composer's top icon bar), and navigate to an inconsistent resource, the yellow warning will appear in the form.  You can click on that to get an explanation of the constraint violation. The second issue is that the passage in the Help file you cite is not correct.  The OWLIM reasoner is not an OWL DL reasoner and will not create subclasses of owl:Nothing.  We will correct this before the next release of TopBraid. -- Scott On 7/25/2014, 4:14 AM, Charles Mead wrote: 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 an OWL DL-aware inference engines, inconsistent classes will be made subclasses of owl:Nothing and also listed in the Inferences View. 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 topbraid-users@googlegroups.com To unsubscribe from this group, send email to topbraid-users+unsubscr...@googlegroups.com 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 topbraid-users+unsubscr...@googlegroups.com. 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), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN. To post to this group, send email to topbraid-users@googlegroups.com To unsubscribe from this group, send email to topbraid-users+unsubscr...@googlegroups.com 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 topbraid-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.