Refining the structure of terminological systems: terminology = schema + views

Reasoning in expressive description logics

Handbook of automated reasoning

Bibliography

The description logic handbook

Reasoning about Uniqueness Constraints in Object Relational Databases

IEEE Transactions on Knowledge and Data Engineering

Conceptual modelling for configuration: A description logic-based approach

Artificial Intelligence for Engineering Design, Analysis and Manufacturing

Reasoning and change management in modular ontologies

Data & Knowledge Engineering