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

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

From: Dan Connolly <connolly@w3.org>
Date: Wed, 29 Nov 2000 14:51:35 -0600
Message-ID: <3A256C57.F3058EEF@w3.org>
To: guha@guha.com
CC: Ora Lassila <daml@lassila.org>, www-rdf-logic@w3.org
Guha wrote:
> Ora,
>  I think they *are* supposed to be disjoint.

That's good, since you can deduce that they're disjoint
from this semantics

Tue, 28 Nov 2000 05:16:36 GMT

er... at least I think you can... where did the
axioms about what a class is (set of singletons)
and what a property is (a set of pairs) go?
They were in an earlier draft, no?

Anyway, the proof goes:

	Every class is a set of singletons
	Every property is a set of pairs
	nothing is both a singleton and a pair
	=> the intersection of classes and properties is empty.

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 29 November 2000 15:52:38 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:35 UTC