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

Active Bibliography

196 OilEd: a Reason-able Ontology Editor for the Semantic Web – Sean Bechhofer, Ian Horrocks, Carole Goble, Robert Stevens - 2001
10 Building a Reason-able Bioinformatics Ontology Using OIL – Robert Stevens , Ian Horrocks, Carole Goble, Sean Bechhofer - 2001
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
10 OILing the way to Machine Understandable Bioinformatics Resources – Robert Stevens, Carole Goble, Ian Horrocks, Sean Bechhofer - 2001
8 Description logics for ontologies – Ulrike Sattler - 2003
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Maurizio Lenzerini - 2002
3 Hybrid Logics and Ontology Languages – Ian Horrocks, Birte Glimm, Ulrike Sattler
97 Reasoning in Expressive Description Logics – Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini - 2000
113 A tableaux decision procedure for SHOIQ – Ian Horrocks, Ulrike Sattler - 2005
95 E-connections of abstract description systems – Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Knowledge Representation on the Web – Stefan Decker Dieter, Dieter Fensel, Frank Van Harmelen, Sergey Melnik, Michel Klein, Jeen Broekstra - 2000
Project: FP6-7603 – Thinking ONtologiES (TONES) Workpackage: WP3 – Ontology Design and Maintenance – F. Baader, R. Bernardi, D. Calvanese, A. Calì, B. Cuenca Grau, M. Garcia, G. De Giacomo, A. Kaplunova, O. Kutz, D. Lembo, M. Lenzerini, L. Lubyte, C. Lutz, M. Milicic, R. Möller, B. Parsia, R. Rosati, U. Sattler, B. Sertkaya, S. Tessaris, C. Thorne, A. -y. Turhan, Technische Universität Hamburg-harburg, Technische Universität Dresden, Lead Participant, Technische Universität Dresden, Reviewer Ralf Möller - 2007
12 A Defeasible Ontology Language – S. Heymans, D. Vermeir - 2002
3 Transfer Results for Hybrid Logic - Part I: the case without satisfaction operators – Nick Bezhanishvili, Balder Ten Cate - 2004
121 A Proposal for a Description Logic Interface – Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris - 1999
7 Digital Libraries and Web-Based Information Systems – Ian Horrocks, Deborah L. McGuinness, Christopher Welty
468 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
Connecting Description Systems – Oliver Kutz, Frank Wolter, Mikael Zakhariaschev - 2002
4 Expressive syndication on the web using a description logic-based approach – Franz Christian Halaschek-Wiener - 2007