Tableau Algorithms for Description Logics (2000)

by Franz Baader , Ulrike Sattler
Venue:STUDIA LOGICA
Citations:212 - 22 self

Active Bibliography

282 Basic Description Logics – Franz Baader, Werner Nutt - 2003
3 Complexity of Reasoning – Francesco M. Donini
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 2002
131 Description Logics as Ontology Languages for the Semantic Web – Franz Baader, Ian Horrocks, Ulrike Sattler - 2003
51 EXPTIME tableaux for ALC – Francesco M. Donini, Fabio Massacci - 2000
185 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
2 Dip. di Informatica e Sistemistica РDiego Calvanese, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Sapienza Università Di Roma
97 Reasoning in Expressive Description Logics – Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini - 2000
177 Description Logics in Data Management – Alexander Borgida - 1995