Category talk:Description Logic

From CIMI
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)

Source: http://www.ihtsdo.org/fileadmin/user_upload/Docs_01/Recourses/Introducing_SNOMED_CT/SNOMED_CT_Basics_IHTSDO_Taping_Aug08.pdf