Tableau Algorithms for Description Logics (2000)

by Franz Baader , Ulrike Sattler
Venue:STUDIA LOGICA
Citations:195 - 20 self

Active Bibliography

277 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
128 Description Logics as Ontology Languages for the Semantic Web – Franz Baader, Ian Horrocks, Ulrike Sattler - 2003
16 Description logics with inverse roles, functional restrictions, and n-ary relations – Maurizio Lenzerini - 1994
8 Description logics for ontologies – Ulrike Sattler - 2003
30 Ontologies and databases: The DL-Lite approach – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-muro, Riccardo Rosati - 2009
97 Reasoning in Expressive Description Logics – Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini - 2000
27 Logic-based Knowledge Representation – Franz Baader - 1996
185 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
98 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
84 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
25 Modal Logics, Description Logics and Arithmetic Reasoning – Hans Jürgen Ohlbach, Jana Koehler - 1999