1. Temporal Description Logic for Ontology-Based Data Access;Artale,2013
2. A scheme for integrating concrete domains into concept languages;Baader,1991
3. KℛℐS: Knowledge ℛepresentation and ℐnference System;Baader;SIGART Bull.,1991
4. Embedding Defaults into Terminological Representation Systems;Baader;J. Autom. Reasoning,1995
5. Matching Concept Descriptions with Existential Restrictions;Baader,2000