Consistency of Structured Knowledge: A Formal Framework Based on Description Logics. - Pascale Hors; Marie-Christine Rousset (EUROVAV, 1993)

Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics. - Marie-Christine Rousset; Pascale Hors (ECAI, 1996)