A Model Theoretic Semantics for DAML-ONT

Enclosed is a first draft of a* semantics for DAML-ONT.
The semantics is specified by providing a set of first-order logic
axioms
augmenting the DAML-Ont
specification(http://www.daml.org/2000/10/daml-ont.daml).
The axioms are written in ANSI KIF
(http://logic.stanford.edu/kif/kif.html).

We welcome comments on the specification sent to the
www-rdf-logic@w3.org distribution list.

The document is attached here as a word document and is also available
off of the knowledge systems laboratory's DAML page:
http://www.ksl.Stanford.EDU/projects/daml/
or directly available from:
http://www.ksl.Stanford.EDU/people/dlm/DAML-Ont-kif-axioms-001107.doc



* for jim hendler - note this is A semantics not necessarily THE
semantics.
We acknowledge that many users of DAML-ONT may choose to work with
incomplete
systems and thus may choose not to enforce some of the axioms.

=======================
Deborah L. McGuinness
Associate Director and Senior Research Scientist
Knowledge Systems Laboratory
Stanford University
Stanford, CA 94305
dlm@ksl.stanford.edu
voice  650 723 9770
fax 650 725 5850