Tableau Algorithms for Description Logics (2000)

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

Documents Related by Co-Citation

97 Reasoning in Expressive Description Logics – Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini - 2000
244 On the Decidability of Query Containment under Constraints – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 1998
187 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
373 RACER system description – Volker Haarslev, Ralf M├Âller - 2001
137 Reasoning with Individuals for the Description Logic SHIQ – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 2000
310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
164 Data complexity of query answering in description logics – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati - 2006
262 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991
79 Deduction in Concept Languages: From Subsumption to Instance Checking – Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf - 1994
633 The Description Logic Handbook: Theory, Implementation and Applications – F Baader, D Calvanese, D McGuinness, D Nardi, P F Patel-Schneider, Eds - 2003
131 Complexity Results and Practical Algorithms for Logics in Knowledge Representation – Stephan Tobies - 2001
59 M.: Answering queries using views over description logics knowledge bases – Diego Calvanese, Maurizio Lenzerini - 2000
113 A tableaux decision procedure for SHOIQ – Ian Horrocks, Ulrike Sattler - 2005
124 A description logic with transitive and inverse roles and role hierarchies – Ian Horrocks, Ulrike Sattler - 1998
98 A Portrait of the Semantic Web in Action – Jeff Heflin, James Hendler
165 DL-Lite: Tractable description logics for ontologies – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati - 2005
720 Data Integration: A Theoretical Perspective – Maurizio Lenzerini - 2002
96 Data Complexity of Reasoning in Very Expressive Description Logics – Ullrich Hustadt, Boris Motik, Ulrike Sattler - 2005