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

Discussion

What is a description logic?

  • A.A logic for describing the behaviour of a program
  • B.A logic in which every sentence describes a single object
  • C.A logic using ordinary natural language descriptions as its sentences
  • D.A decidable fragment of first order logic for concept definitions

Answer: D

Description logics restrict expressiveness deliberately so that subsumption, whether one concept necessarily includes another, remains decidable and often tractable. They underpin the web ontology language. Program logics, single object restriction and natural language are different notions. Choosing what to give up in order to keep reasoning decidable, rather than seeking maximum expressiveness, is the design philosophy that distinguishes this family.

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

Post your comment

Please log in or register to post a comment.