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-NNNNReceived on Wednesday, 29 November 2000 15:52:38 GMT
This archive was generated by hypermail 2.2.0+W3C0.50 : Wednesday, 11 January 2006 15:19:04 GMT