- From: Deborah McGuinness <dlm@ksl.stanford.edu>
- Date: Mon, 27 Nov 2000 22:20:32 -0800
- 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