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

Documents Related by Co-Citation

373 RACER system description – Volker Haarslev, Ralf Möller - 2001
196 OilEd: a Reason-able Ontology Editor for the Semantic Web – Sean Bechhofer, Ian Horrocks, Carole Goble, Robert Stevens - 2001
251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
262 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991
244 On the Decidability of Query Containment under Constraints – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 1998
187 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
61 Cardinality Restrictions on Concepts – Franz Baader, Martin Buchheit, Bernhard Hollunder - 1993
83 Qualifying Number Restrictions in Concept Languages – F Baader, B Hollunder - 1991
215 Reasoning in Description Logics – F. M. Donini, M. Lenzerini, D. Nardi, A. Schaerf - 1997
170 Attributive concept descriptions with complements – M Schmidt-Schauß, G Smolka - 1991
159 Description logic framework for information integration – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati - 1998
97 Reasoning in Expressive Description Logics – Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini - 2000
365 Propositional dynamic logic of regular programs – M J Fischer, R E Ladner - 1979
102 The RDFSuite: Managing Voluminous RDF Description Bases – Sofia Alexaki, Vassilis Christophides, Greg Karvounarakis, Dimitris Plexousakis, Karsten Tolle - 2000
375 Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema – Jeen Broekstra, Arjohn Kampman, Frank Van Harmelen - 2002
147 Terminological Reasoning is Inherently Intractable – Bernhard Nebel - 1990
1638 Agents and the Semantic Web – James Hendler - 2001