The FaCT system (1998)

by Ian Horrocks
Venue:In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’98), volume 1397 in Lecture Notes in Artificial Intelligence
Citations:136 - 15 self

Active Bibliography

55 Optimising Description Logic Subsumption – Ian Horrocks, Peter F. Patel-Schneider - 1999
156 Practical reasoning for very expressive description logics – Ian Horrocks - 2000
13 Optimising propositional modal satisfiability for description logic subsumption – Ian Horrocks, Peter F. Patel-schneider - 1998
12 Optimisation Techniques for Expressive Description Logics – Ian Horrocks, Ian Horrocks - 1997
251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
4 Using a Description Logic with Concept Inclusions – Ian Horrocks, Alan Rector - 1996
21 Comparing subsumption optimizations – Ian Horrocks, Peter F. Patel-schneider - 1998
22 Implementation and Optimisation Techniques – Ian Horrocks
193 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
27 Logic-based Knowledge Representation – Franz Baader - 1996
45 Reasoning with Axioms: Theory and Practice – Ian Horrocks, Stephan Tobies - 2000
45 DLP System Description – Peter F. Patel-Schneider - 1998
64 Optimizing Description Logic Subsumption – Ian Horrocks, Peter F. Patel-Schneider - 1999
4 Optimisation of terminological reasoning – Ian Horrocks, Stephan Tobies
51 EXPTIME tableaux for ALC – Francesco M. Donini, Fabio Massacci - 2000
5 Optimising Terminological Reasoning for Expressive Description Logics – Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-schneider - 2007
8 Mirlog: A logic for multimedia information retrieval – Carlo Meghini, Fabrizio Sebastiani, Umberto Straccia - 1998
6 Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition – Robert Anthony Weida - 1996
Chapter 3 Description Logics – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Franz Baader, Ian Horrocks, Ulrike Sattler