Abstract
Ontologies are set to play a key role in the ”Semantic Web”, extending syntactic interoperability to semantic interoperability by providing a source of shared and precisely defined terms. DAML+OIL is an ontology language specifically designed for use on the web; it exploits existing web standards (XML and RDF), adding the familiar ontological primitives of object oriented and frame based systems, and the formal rigor of description logics (DLs). The logical basis of the language means that reasoning services can be provided, both to support ontology design and to make DAML+OIL described web resources more accessible to automated processes [2].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
S. Bechhofer, I. Horrocks, C. Goble, and R. Stevens. OilEd: a reason-able ontology editor for the semantic web. In Proc. of KI 2002, number 2174 in LNAI, 2001. http://www.cs.man.ac.uk/horrocks/Publications/download/2001/oiled-ki.pdf.
I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. Reviewing the design of DAML+OIL: An ontology language for the semantic web. In Proc. of AAAI 2002, 2002. http://www.cs.man.ac.uk~horrocks/Publications/download/2002/AAAI02IHorrocks.pdf.
I. Horrocks and S. Tessaris. Querying the semantic web: a formal approach. In Proc. ofISWC 2002, number 2342 in LNCS, 2002. http://www.cs.man.ac.uk~horrocks/Publications/download/2002/iswc2002.pdf.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Horrocks, I. (2002). DAML+OIL: A Reason-Able Web Ontology Language. In: Bussler, C., Hull, R., McIlraith, S., Orlowska, M.E., Pernici, B., Yang, J. (eds) Web Services, E-Business, and the Semantic Web. WES 2002. Lecture Notes in Computer Science, vol 2512. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36189-8_13
Download citation
DOI: https://doi.org/10.1007/3-540-36189-8_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00198-0
Online ISBN: 978-3-540-36189-3
eBook Packages: Springer Book Archive