Category talk:Description Logic

Jump to: navigation, search

--Anneke Goossen 05:37, 28 February 2012 (EST)

Also found definitions from different viewpoints:

From a Mathematical viewpoint:

  • A family of logics characterized by
    • Formal set-theoretic semantics
    • Proofs of correctness and completeness of computation
    • Proofs of algorithmic complexity (PSpace, NP-complete, NExpTime, etc)

Knowledge representation viewpoint:

  • A set of constructs for representing terminological knowledge (that which is always true of a meaning)
  • Algorithms and their implementations for performing:
    • Subsumption(testing pairs of expressions to see whether one is a subtype of the other & vice versa)
    • Classification (structuring a set of expressions according to their subsumptionrelationships)