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:147 - 35 self

Documents Related by Co-Citation

11073 Computers and Intractability: A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
315 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
380 RACER system description РVolker Haarslev, Ralf M̦ller - 2001
262 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991
484 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
254 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
293 Weaving the Web – T Berners-Lee - 1999
1739 Agents and the Semantic Web – James Hendler - 2001
162 Practical reasoning for very expressive description logics – Ian Horrocks - 2000