Change: Description Logic

created on March 9, 2013, 1:20 p.m. by Hevok & updated on March 9, 2013, 1:20 p.m. by Hevok

Description Logics (DLs) are a Family of Logics that are Fragments of First Order Logic. In general what one does in Description Logics is from simple Descriptions to create more complex Descriptions with the help of Constructors. The different Variants of Description Logics differ in the applied Constructors as there are Constructors with different Exprissivity. Originally these Description Logics have been developed from Semantic Networks. Description Logics have been developed to be decidable most times and some times they are also feasible which means that they do not have too high complexity.

The W3C standard for the Web Ontology Language is OWL version 1 is based on SHROID and OWL version 2 is based on the SHORIQ(D) Descriptions Logics.

• DLs are Fragments of FOL
• In DL from simple Descriptions more complex descriptions are created with the Help of Constructors.
• DLs differ in applied Constructors (Expressivity)
• DLs have been developed from "Semantic Networks"
• DLs are decideable (most times)
• DLs posses sufficient Expressivity (most times)

• DLs are related to Modal Logics

• e.g. W3C Standard OWL 2 DL is based on Description Logics

SHROIQ(D)

---

See entry | Admin

---

Back to top

---