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
augmenting the DAML-Ont
The axioms are written in ANSI KIF

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:
or directly available from:

* for jim hendler - note this is A semantics not necessarily THE
We acknowledge that many users of DAML-ONT may choose to work with
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
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.4.0 : Friday, 17 January 2020 22:45:35 UTC