- From: Dan Connolly <connolly@w3.org>
- Date: Wed, 29 Nov 2000 14:51:35 -0600
- 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