Machine-translated by Google. Questions are authored in English.
Top

Discussion

What follows from omitting disjointness axioms in an ontology?

  • A.A reasoner cannot conclude that an individual is not in a class
  • B.The ontology becomes inconsistent and cannot be used
  • C.The subsumption hierarchy cannot be computed at all
  • D.The individuals in the ontology all become indistinguishable

Answer: A

Without a statement that cats and dogs are disjoint, nothing prevents an individual from being both, and no negative conclusion about class membership can be drawn. Modellers consistently underestimate how many such axioms are needed. Inconsistency, classification failure and indistinguishability do not follow. That the absence of an axiom weakens conclusions silently, rather than producing an error, is what makes omissions of this kind so hard to notice.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.