Open Framework, Information Management Strategy & Collaborative Governance | Data & Social Methodology - MIKE2.0 Methodology
Wiki Home
Collapse Expand Close

Members
Collapse Expand Close

To join, please contact us.

Improve MIKE 2.0
Collapse Expand Close
Need somewhere to start? How about the most wanted pages; or the pages we know need more work; or even the stub that somebody else has started, but hasn't been able to finish. Or create a ticket for any issues you have found.

Description Logics Concept

From MIKE2.0 Methodology

Share/Save/Bookmark
Jump to: navigation, search

Description logics (DL) are a family of formal knowledge representation languages. They are more expressive than propositional logic but have more efficient decision problems than first-order predicate logic. DLs are used for formal reasoning on the concepts of an application domain. They are of particular importance in providing a logical formalism for ontologies and the semantic Web.

Description logics and their semantics traditionally split concepts and their relationships from the different treatment of instances and their attributes and roles, expressed as fact assertions. The concept split is known as the TBox (for terminological knowledge, the basis for T in TBox) and represents the schema or taxonomy of the domain at hand. The TBox is the structural and intensional component of conceptual relationships. The second split of instances is known as the ABox (for assertions, the basis for A in ABox) and describes the attributes of instances (and individuals), the roles between instances, and other assertions about instances regarding their class membership with the TBox concepts.

Additional Information on this Subject from Wikipedia

Wikipedia provides a detailed overview of many Information Management concepts. MIKE2.0 provides a mashup to Wikipedia to provide an enriched reference source for Concept Articles. To edit this article you need to login to Wikipedia.
Wiki Contributors
Collapse Expand Close