Tableau Algorithms for Description Logics (2000)

by Franz Baader , Ulrike Sattler
Venue:STUDIA LOGICA
Citations:193 - 21 self

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
51 EXPTIME tableaux for ALC – Francesco M. Donini, Fabio Massacci - 2000
126 Description Logics as Ontology Languages for the Semantic Web – Franz Baader, Ian Horrocks, Ulrike Sattler - 2003
Chapter 3 Description Logics – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Franz Baader, Ian Horrocks, Ulrike Sattler
16 Description logics with inverse roles, functional restrictions, and n-ary relations – Maurizio Lenzerini - 1994
26 Ontologies and databases: The DL-Lite approach – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-muro, Riccardo Rosati - 2009
8 Description logics for ontologies – Ulrike Sattler - 2003
97 Reasoning in Expressive Description Logics – Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini - 2000
27 Logic-based Knowledge Representation – Franz Baader - 1996
187 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
97 Unifying class-based representation formalisms – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi - 1999
6 Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition – Robert Anthony Weida - 1996
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
96 Reasoning on UML Class Diagrams – Daniela Berardi , Andrea Cali, Diego Calvanese, Giuseppe Di Giacomo - 2003
90 On the Correspondence between Description Logics and Logics of Programs – Giuseppe De Giacomo, Maurizio Lenzerini - 1994
178 Description Logics in Data Management – Alexander Borgida - 1995
1 Keys, Nominate, and Concrete Domains – Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
6 Decision procedures for expressive description logics with intersection, composition, converse of roles and role identity – Fabio Massacci - 2001