Description Logics Concept

From OSF Wiki
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 this wiki's concepts. This wiki provides a mashup to Wikipedia to provide an enriched reference source for Concept Articles. You may only edit the following article by being logged on directly to Wikipedia.