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

by Ian R. Horrocks
Venue:In Proc. of KR-98
Citations:264 - 53 self

Active Bibliography

56 Optimising Description Logic Subsumption – Ian Horrocks, Peter F. Patel-Schneider - 1999
138 The FaCT system – Ian Horrocks - 1998
11 Optimisation Techniques for Expressive Description Logics – Ian Horrocks - 1997
199 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
282 Basic Description Logics – Franz Baader, Werner Nutt - 2003
13 Optimising propositional modal satisfiability for description logic subsumption – Ian Horrocks, Peter F. Patel-schneider - 1998
162 Practical reasoning for very expressive description logics – Ian Horrocks - 2000
8 Description Logics for Ontologies – Ulrike Sattler - 2003
185 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993