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

DAML-ONT Axioms
http://www.ksl.stanford.edu/people/dlm/DAML-Ont-kif-axioms-001127.html
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/
mailto:connolly.pager@w3.org?subject=pls%20call%20+1-NNN-NNN-NNNN
Received on Wednesday, 29 November 2000 15:52:38 UTC

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