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

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

Documents Related by Co-Citation

310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
185 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
372 RACER system description – Volker Haarslev, Ralf Möller - 2001
168 Attributive concept descriptions with complements – M Schmidt-Schauß, G Smolka - 1991
253 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
229 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
123 Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles – Franz Baader, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminglogical, Stephan Busemann - 1990
179 The Tractability of Subsumption in Frame-Based Description Languages – R Brachman, H Levesque - 1984
262 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991
83 TBox and ABox Reasoning in Expressive Description Logics – Giuseppe De Giacomo, Maurizio Lenzerini - 1996
85 On the Correspondence between Description Logics and Logics of Programs – Giuseppe De Giacomo, Maurizio Lenzerini - 1994
359 Propositional dynamic logic of regular programs – M J Fischer, R E Ladner - 1979
1639 Agents and the Semantic Web – James Hendler - 2001
466 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
83 High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study – Volker Haarslev, Ralf Möller - 2000
61 Cardinality Restrictions on Concepts – Franz Baader, Martin Buchheit, Bernhard Hollunder - 1993
40 On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations – Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka - 1993
136 The FaCT system – Ian Horrocks - 1998
147 Terminological Reasoning is Inherently Intractable – Bernhard Nebel - 1990