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.
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 