DAML+OIL Submission

DAML+OIL is a semantic markup language for Web resources. It builds on earlier W3C standards such as RDF and RDF Schema, and extends these languages with richer modelling primitives. DAML+OIL provides modelling primitives commonly found in frame-based languages. DAML+OIL (March 2001) extends DAML+OIL (December 2000) with values from XML Schema datatypes. DAML+OIL was built from the original DAML ontology language DAML-ONT (October 2000) in an effort to combine many of the language components of OIL. The language has a clean and well defined semantics.

This directory contains the DAML+OIL (March 2001) language released by the Joint Committee on 27 March 2001, with a few minor changes thereafter. It replaces the DAML+OIL (December 2000) release and the DAML-ONT (October 2000) release.

Documents in this release include:

reference.html - systematic reference description of all the language elements
daml+oil.daml - the revised language specification
model-theoretic-semantics.html - revised Model-Theoretic Semantics
axiomatic-semantics.html - revised Axiomatic Semantics (from August, 2001)
daml+oil-ex.daml - a revised example ontology
daml+oil-ex-dt.xsd - datatype definitions used in the above example
daml+oil-walkthru.html - an annotated version of the example ontology

Send comments to www-rdf-logic@w3.org (archives).

Authors

The following individuals were involved in preparing the DAML+OIL (March 2001) release. See individual documents and previous releases for additional information.

Dan Connolly, editor
Ian Horrocks, editor
Frank van Harmelen, editor
Deborah McGuinness, editor
Peter Patel-Schneider, editor
Lynn Andrea Stein, editor
Tim Berners-Lee
Dan Brickley
Mike Dean
Stefan Decker
Dieter Fensel
Pat Hayes
Jeff Heflin
Jim Hendler
Ora Lassila

The contributions of participants on the www-rdf-logic@w3.org email list are also acknowledged.

$Revision: 1.9 $ of $Date: 2001/07/20 23:24:34 $