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

Discussion

What is subsumption in a description logic?

  • A.Determining whether every instance of one concept is an instance of another
  • B.Absorbing one knowledge base into a larger one
  • C.Deciding whether one particular object belongs to a given named concept
  • D.Replacing a complex concept with a simpler equivalent one

Answer: A

Subsumption asks whether one concept description necessarily includes another, which arranges the concepts into a hierarchy computed rather than declared. Instance checking is the related question about individuals, and knowledge base merging and simplification are different operations. That the taxonomy is derived from the definitions rather than asserted by hand is the principal advantage of the approach and it keeps the hierarchy consistent automatically.

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

Post your comment

Please log in or register to post a comment.