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

There is an update to the axiomatic semantics. This includes minor fixes from comments we received.
Possibly more importantly, the publishing scheme for the axiomatic semantics has changed (thus if you have things
bookmarked, you should update them sorry).
Our semantics will always be published at
www.ksl.stanford.edu/people/dlm/daml-semantics

from there you will be able to get to the word, html, and text versions.
also, there is an abstract version in html
http://www.ksl.stanford.edu/people/dlm/daml-semantics/abstract-axiomatic-semantics.html

i have maintained the previously announced versions.
I also updated the ksl web page
www.ksl.stanford.edu/projects/daml to reflect the updates.

There will be a new release of DAML-ONT which will be called DAML+OIL as a result of the December meeting of the US/EU
joint committee.  After that is released, there will be another update of the axiomatic semantics.


Deborah McGuinness wrote:

> 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

--
=======================
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 Friday, 15 December 2000 11:38:05 UTC