Active Bibliography

Chapter 3 Description Logics – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Franz Baader, Ian Horrocks, Ulrike Sattler
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Maurizio Lenzerini - 2002
126 Description Logics as Ontology Languages for the Semantic Web – Franz Baader, Ian Horrocks, Ulrike Sattler - 2003
8 Description logics for ontologies – Ulrike Sattler - 2003
193 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
Project: FP6-7603 – Thinking ONtologiES (TONES) Workpackage: WP3 – Ontology Design and Maintenance – F. Baader, R. Bernardi, D. Calvanese, A. Calì, B. Cuenca Grau, M. Garcia, G. De Giacomo, A. Kaplunova, O. Kutz, D. Lembo, M. Lenzerini, L. Lubyte, C. Lutz, M. Milicic, R. Möller, B. Parsia, R. Rosati, U. Sattler, B. Sertkaya, S. Tessaris, C. Thorne, A. -y. Turhan, Technische Universität Hamburg-harburg, Technische Universität Dresden, Lead Participant, Technische Universität Dresden, Reviewer Ralf Möller - 2007
Knowledge Representation and Reasoning on the Semantic Web: OWL – Ian Horrocks, Peter F. Patel-schneider
21 Reasoning with Expressive Description Logics: Theory and Practice – Ian Horrocks - 2002
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
26 Ontologies and databases: The DL-Lite approach – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-muro, Riccardo Rosati - 2009
91 Description Logics for the Semantic Web – Franz Baader, Ian Horrocks, Ulrike Sattler - 2001
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
96 Reasoning on UML Class Diagrams – Daniela Berardi , Andrea Cali, Diego Calvanese, Giuseppe Di Giacomo - 2003
3 Description Logics in Ontology Applications – Ian Horrocks - 2005
15 Applications of Description Logics: State of the Art and Research Challenges – Ian Horrocks - 2005
97 Reasoning in Expressive Description Logics – Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini - 2000
3 Hybrid Logics and Ontology Languages – Ian Horrocks, Birte Glimm, Ulrike Sattler
27 Logic-based Knowledge Representation – Franz Baader - 1996