Using an Expressive Description Logic: FaCT or Fiction? (1998)

by Ian R. Horrocks
Venue:In Proc. of KR-98
Citations:251 - 54 self

Active Bibliography

55 Optimising Description Logic Subsumption – Ian Horrocks, Peter F. Patel-Schneider - 1999
136 The FaCT system – Ian Horrocks - 1998
12 Optimisation Techniques for Expressive Description Logics – Ian Horrocks, Ian Horrocks - 1997
193 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
13 Optimising propositional modal satisfiability for description logic subsumption – Ian Horrocks, Peter F. Patel-schneider - 1998
8 Description logics for ontologies – Ulrike Sattler - 2003
156 Practical reasoning for very expressive description logics – Ian Horrocks - 2000
27 Logic-based Knowledge Representation – Franz Baader - 1996
6 Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition – Robert Anthony Weida - 1996
45 Reasoning with Axioms: Theory and Practice – Ian Horrocks, Stephan Tobies - 2000
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
51 EXPTIME tableaux for ALC – Francesco M. Donini, Fabio Massacci - 2000
26 The Hybrid ยต-calculus – Ulrike Sattler, Moshe Y. Vardi - 2001
21 Comparing subsumption optimizations – Ian Horrocks, Peter F. Patel-schneider - 1998
45 DLP System Description – Peter F. Patel-Schneider - 1998
Chapter 3 Description Logics – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Franz Baader, Ian Horrocks, Ulrike Sattler
24 Description Logics for the Representation of Aggregated Objects – Ulrike Sattler - 2000
87 A Temporal Description Logic for Reasoning about Actions and Plans – Alessandro Artale, Enrico Franconi - 1998
187 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993