DAML+OIL (December 2000)

This directory contains the initial DAML+OIL language which was actually released by the Joint Committee on 11 January 2001. It replaces the DAML-ONT release of October 2000. It will be replaced by DAML+OIL (March 2001).

Documents in this release include:

announcement
daml+oil.daml - the revised language specification
daml+oil-ex.daml - a revised example ontology
daml+oil-walkthru.html - an annotated version of the example ontology
reference.html - systematic reference description of all the language elements
differences-daml.html - an explanation of the changes from DAML-ONT
differences-oil.html - a list of the remaining differences w.r.t. OIL
model-theoretic-semantics.html - revised Model-Theoretic Semantics
axiomatic-semantics.html - revised Axiomatic Semantics

Send comments to [email protected] (archives).

Authors

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

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

$Revision: 1.18 $ of $Date: 2002/11/14 12:49:22 $