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:136 - 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
466 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
372 RACER system description – Volker Haarslev, Ralf Möller - 2001
251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
229 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
218 OIL: An Ontology Infrastructure for the Semantic Web – Dieter Fensel, Frank Van Harmelen, Ian Horrocks, Deborah L. Mcguinness - 2001
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
282 Weaving the Web – Tim Berners-Lee - 1999
130 Complexity Results and Practical Algorithms for Logics in Knowledge Representation – Stephan Tobies - 2001
145 On the Relative Expressiveness of Description Logics and Predicate Logics – Alex Borgida - 1996
83 Qualifying number restrictions in concept languages – B Hollunder, F Baader - 1991
28 The generation of DAML + OIL – I Horrocks, P F Patel-Schneider - 2001
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
58 Two-Variable Logic with Counting is Decidable – Erich Grädel, Martin Otto, Eric Rosen - 1996
243 On the Decidability of Query Containment under Constraints – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 1998
147 Terminological Reasoning is Inherently Intractable – Bernhard Nebel - 1990