Active Bibliography

275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Maurizio Lenzerini - 2002
193 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
126 Description Logics as Ontology Languages for the Semantic Web – Franz Baader, Ian Horrocks, Ulrike Sattler - 2003
97 Unifying class-based representation formalisms – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi - 1999
90 On the Correspondence between Description Logics and Logics of Programs – Giuseppe De Giacomo, Maurizio Lenzerini - 1994
96 Reasoning on UML Class Diagrams – Daniela Berardi , Andrea Cali, Diego Calvanese, Giuseppe Di Giacomo - 2003
Chapter 3 Description Logics – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Franz Baader, Ian Horrocks, Ulrike Sattler
TONES Industrial Advisory Team – F. Baader, D. Calvanese, G. De Giacomo, P. Fillottrani, E. Franconi, B. Cuenca Grau, I. Horrocks, A. Kaplunova, D. Lembo, M. Lenzerini, C. Lutz, R. Möller, B. Parsia, P. Patel-schneider, R. Rosati, B. Suntisrivaraporn, S. Tessaris, Università Di Roma “la Sapienza, Technische Universität Dresden, Technische Universität Hamburg-harburg, Ulrike Sattler - 2006
144 Description Logics with Concrete Domains -- A Survey – Carsten Lutz - 2003
16 Description logics with inverse roles, functional restrictions, and n-ary relations – Maurizio Lenzerini - 1994
1 Ontology Representation and Reasoning- A Conceptual Level Approach – – Helmut Meisel - 2005
85 TBox and ABox Reasoning in Expressive Description Logics – Giuseppe De Giacomo, Maurizio Lenzerini - 1996
The Complexity of Cardinality Restrictions – Stephan Tobies - 2000
1 Keys, Nominate, and Concrete Domains – Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
51 EXPTIME tableaux for ALC – Francesco M. Donini, Fabio Massacci - 2000
71 Reasoning with Individuals in Concept Languages – Andrea Schaerf - 1994
A Terminological Approach to Resource Discovery Mechanisms – David E. Losada, Raúl Ramos, Alvaro Barreiro
6 Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition – Robert Anthony Weida - 1996