"description logics"

$mathcalAL$-log: integrating datalog and description logics

A Refined Architecture for Terminological Systems: Terminology = Schema + Views

Adding epistemic operators to description logics

Reasoning in Description Logics

Deduction in concept languages: From subsumption to instance checking

Query answering in concept-based knowledge representation systems: algorithms, complexity, and sematic issues

Reasoning with individuals in concept languages

Decidable reasoning in terminological knowledge representation systems

On the complexity of the instance checking problem in concept languages with existential quantification