W3C home > Mailing lists > Public > www-rdf-logic@w3.org > August 2001

Re: Updated version available of DAML+OIL axiomatic semantics with KIF-only files

From: Deborah McGuinness <dlm@ksl.stanford.edu>
Date: Thu, 30 Aug 2001 17:41:41 -0700
Message-ID: <3B8EDD45.9C758C5B@ksl.stanford.edu>
To: rdf logic mailing list <www-rdf-logic@w3.org>
As requested, here is a summary of the changes in the new version of the
"Axiomatic Semantics" paper that was posted on Monday:

* The theorems in the document have been significantly revised to
facilitate the use of the axioms for automatic reasoning.  In the new
version, the theorems are all either (1) KIF representations of RDF
statements that one can assume to be included in any knowledge base, (2)
KIF versions of Horn clauses with RDF statements or evaluable
constraints as atoms, or (3) implications in which a conjunction of
atoms (i.e., KIF representations of RDF statements or evaluable
constraints) implies FALSE.  For example, these theorems could be used
by a forward chaining mechanism to infer additional assertions or
logical inconsistencies while a DAML+OIL knowledge base is being loaded.

* A file containing only the axioms and a file containing only the
theorems has been linked to the primary document to facilitate loading
the axioms and theorems into a reasoner.

* The numbering scheme for the axioms and theorems was changed so that
the number associated with an axiom or theorem does not change every
time an axiom or theorem is added to or deleted from the document.

* Bugs and redundancies in the axioms and theorems that were reported to
us were fixed.

This list is also now available on the abstract page

Richard and Deborah

Deborah McGuinness wrote on Monday, August 27, 2001:

> An updated version of the axiomatic semantics for DAML+OIL is available
> at:
> http://www.ksl.stanford.edu/people/dlm/daml-semantics/abstract-axiomatic-semantics.html
> Versions are available in word, html, and text.
> In response to users who are working directly with the axioms and
> theorems, we include pointers to separate kif-only files containing all
> of the kif axioms in the document  and all of the kif theorems in the
> document.
> The kif axioms (and theorems) are currently being checked by Richard
> Waldinger of SRI.
> As usual, all previous versions of our releases are available from:
> http://www.ksl.stanford.edu/people/dlm/daml-semantics/old-versions/

 Deborah L. McGuinness
 Knowledge Systems Laboratory
 Gates Computer Science Building, 2A Room 241
 Stanford University, Stanford, CA 94305-9020
 email: dlm@ksl.stanford.edu
 URL: http://ksl.stanford.edu/people/dlm/index.html
 (voice) 650 723 9770    (stanford fax) 650 725 5850   (computer fax)  801 705 0941
Received on Thursday, 30 August 2001 20:42:46 UTC

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