W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2000

A Model Theoretic Semantics for DAML-ONT

From: Deborah McGuinness <dlm@ksl.stanford.edu>
Date: Wed, 08 Nov 2000 20:56:08 -0800
Message-ID: <3A0A2E68.8615E4E1@ksl.stanford.edu>
To: www-rdf-logic@w3.org
CC: dlm@ksl.stanford.edu, fikes@ksl.stanford.edu
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



Received on Wednesday, 8 November 2000 23:55:21 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:32 UTC