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
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:37 GMT