Ontology Reasoning in the SHOQ(D) Description Logic (2001)

by Ian Horrocks , Ulrike Sattler
Venue:In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001
Citations:135 - 34 self

Documents Related by Co-Citation

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
251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
131 Complexity Results and Practical Algorithms for Logics in Knowledge Representation – Stephan Tobies - 2001
468 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
373 RACER system description – Volker Haarslev, Ralf Möller - 2001
218 OIL: An Ontology Infrastructure for the Semantic Web – Dieter Fensel, Frank Van Harmelen, Ian Horrocks, Deborah L. Mcguinness - 2001
28 The generation of DAML + OIL – I Horrocks, P F Patel-Schneider - 2001
231 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
156 Practical reasoning for very expressive description logics – Ian Horrocks - 2000
137 Reasoning with Individuals for the Description Logic SHIQ – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 2000
161 A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic – Alex Borgida, Peter F. Patel-Schneider - 1994
59 Two-Variable Logic with Counting is Decidable – Erich Grädel, Martin Otto, Eric Rosen - 1996
282 Weaving the Web – Tim Berners-Lee - 1999
190 OWL web ontology language: Semantics and abstract syntax – Peter F Patel-Schneider, Patrick Hayes, Ian Horrocks
145 On the Relative Expressiveness of Description Logics and Predicate Logics – Alex Borgida - 1996
185 Reducing owl Entailment to Description Logic Satisfiability – Ian Horrocks, Peter F. Patel-schneider
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
257 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991