OIL: An Ontology Infrastructure for the Semantic Web (2001)

Cached

Download Links

by Dieter Fensel , Frank Van Harmelen , Ian Horrocks , Deborah L. Mcguinness
Venue:IEEE Intelligent Systems
Citations:218 - 32 self

Documents Related by Co-Citation

310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
282 Weaving the Web – Tim Berners-Lee - 1999
251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
231 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
1638 Agents and the Semantic Web – James Hendler - 2001
2218 A translation approach to portable ontology specifications – Thomas R. Gruber - 1993
135 Ontology Reasoning in the SHOQ(D) Description Logic – Ian Horrocks, Ulrike Sattler - 2001
161 The DARPA Agent Markup Language – J Hendler, D L McGuinness - 2000
746 Resource Description Framework (RDF) Model and Syntax Specification – Ora Lassila, Ralph R. Swick, World Wide, Web Consortium - 1998
83 High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study – Volker Haarslev, Ralf Möller - 2000
262 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991
58 Ontological issues for knowledge-enhanced search – D L McGuinness - 1998
373 RACER system description – Volker Haarslev, Ralf Möller - 2001
517 Semantic Web Services – Sheila A. Mcilraith, Tran Cao Son, Honglei Zeng - 2001
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
28 The generation of DAML + OIL – I Horrocks, P F Patel-Schneider - 2001
161 A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic – Alex Borgida, Peter F. Patel-Schneider - 1994
137 Reasoning with Individuals for the Description Logic SHIQ – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 2000
131 Complexity Results and Practical Algorithms for Logics in Knowledge Representation – Stephan Tobies - 2001