description logics

$mathcalAL$-log: integrating datalog and description logics
PDF Cite
A Refined Architecture for Terminological Systems: Terminology = Schema + Views
PDF Cite
Adding epistemic operators to description logics
PDF Cite
Reasoning in Description Logics
PDF Cite
Deduction in concept languages: From subsumption to instance checking
PDF Cite
Query answering in concept-based knowledge representation systems: algorithms, complexity, and sematic issues
PDF Cite
Reasoning with individuals in concept languages
PDF Cite
Decidable reasoning in terminological knowledge representation systems
PDF Cite
On the complexity of the instance checking problem in concept languages with existential quantification
Cite