Tableau Algorithms for Description Logics (2000)

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

Documents Related by Co-Citation

11073 Computers and Intractability: A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
380 RACER system description РVolker Haarslev, Ralf M̦ller - 2001
185 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
242 On the Decidability of Query Containment under Constraints – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 1998
254 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
315 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
97 Reasoning in Expressive Description Logics – Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini - 2000
666 The Description Logic Handbook: Theory, Implementation and Applications – F Baader, D Calvanese, D McGuinness, D Nardi, P Patel-Schneider - 2003
262 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991