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

Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)

From: Deborah McGuinness <dlm@ksl.stanford.edu>
Date: Mon, 27 Nov 2000 22:20:32 -0800
Message-ID: <3A234EAF.1465143E@ksl.stanford.edu>
To: www-rdf-logic@w3.org
CC: Deborah McGuinness <dlm@ksl.stanford.edu>, fikes@ksl.stanford.edu
This message is to announce a new version of our document that specifies
a formal semantics for the DAML-ONT language.
The new document is available in 3 forms:

word:      www.ksl.stanford.edu/people/dlm/DAML-Ont-kif-axioms-001127.doc
html:        www.ksl.stanford.edu/people/dlm/DAML-Ont-kif-axioms-001127.html
and text:   www.ksl.stanford.edu/people/dlm/DAML-Ont-kif-axioms-001127.txt

also, our DAML project page is being kept updated with new release pointers:
www.ksl.stanford.edu/projects/daml/

The new document contains revisions that respond to the comments we
received on the previous version of the document.  Some highlights follow:

- We have expanded our earlier axiomatization to include RDF and RDFS.

- We have reformulated the axioms so that the KIF "holds" and KIF
sequence variables are no longer needed.(!)  The axioms now use only
standard first-order logic constructs plus KIF-specific relations and
functions dealing with lists.   Lists as objects in the domain of
discourse are needed in order to axiomatize RDF containers and the
DAML-ONT properties dealing with cardinality.

- We have modified the axiomatization of DAML-ONT's cardinality
properties to eliminate the problem of the case where a property has
infinitely many values for some object.  Cardinality constraints still
can only be stated for finite values.

Thanks to all those who provided feedback, particularly Pat Hayes.  Your reviews and insights have been quite useful.

As stated in the document, comments are welcome posted to the
www-rdf-logic@w3.org distribution list.

Richard and Deborah

=======================
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 Tuesday, 28 November 2000 01:20:56 UTC

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