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

Discussion

What is a defined concept in a description logic?

  • A.One that appears in the definition of another concept
  • B.One with necessary and sufficient conditions for membership
  • C.One that has been given a name in the ontology
  • D.One whose instances have all been enumerated quite explicitly

Answer: B

A defined concept states conditions that anything satisfying them must fall under, so individuals are classified automatically, whereas a primitive concept states only necessary conditions and membership must be asserted. The distinction determines whether the reasoner can infer membership or merely check it. Naming, enumeration and usage are different matters. Choosing between a definition and a primitive is the modelling decision that determines how much work the reasoner can do.

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

Post your comment

Please log in or register to post a comment.