1. A computational account for a description logic of time and action;Artale,1994
2. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles;Baader,1991
3. Using automata theory for characterizing the semantics of terminological cycles;Baader;Ann. of Mathematics and Artificial Intelligence,1996
4. Embedding defaults into terminological knowledge representation formalisms;Baader;J. of Automated Reasoning,1995
5. An empirical analysis of optimization techniques for terminological representation systems;Baarder,1992