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

inferences in the axiomatic semantics

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 16 Nov 2000 23:17:46 -0500
To: www-rdf-logic@w3.org
Message-Id: <20001116231746A.pfps@research.bell-labs.com>

The axiomatic semantics for DAML-ONT has a lot of statements of the form
Thn. <statement>.
However there are no derivations of these theorems.

I would find it very useful if we could see a full derivation of some of
these theorems.  I would suggest a couple of the domain and range theorems
for starters, perhaps for unionOf.  A derivation of a different sort of
theorem such as the one that cardinalities are non-negative and the one
that states that a minCardinality can be inferred from a hasValue would
also be useful to me.

Peter Patel-Schneider
Received on Thursday, 16 November 2000 23:18:06 UTC

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