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

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

Documents Related by Co-Citation

315 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
380 RACER system description – Volker Haarslev, Ralf Möller - 2001
185 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
1739 Agents and the Semantic Web – James Hendler - 2001
257 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
228 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
359 Propositional dynamic logic of regular programs – Michael J Fischer, Richard E Ladner - 1979
171 Attributive Concept Descriptions with Complements – M Schmidt-Schauß, G Smolka - 1991
181 The Tractability of Subsumption in Frame-Based Description Languages – Ronald J. Brachman, Hector J. Levesque - 1983