- From: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>
- Date: Fri, 12 Jan 2001 23:55:54 -0100
- To: www-rdf-logic@w3.org
> From: Ian Horrocks (horrocks@cs.man.ac.uk) > Date: Fri, Jan 12 2001 > Another more radical solution that has just occurred to me is to simply > scrap Disjoint. It is completely redundant because we can just say: > > <rdfs:Class> > <daml:disjointUnionOf rdf:parseType="daml:collection"> > <rdfs:Class rdf:about="#Car"/> > <rdfs:Class rdf:about="#Person"/> > <rdfs:Class rdf:about="#Plant"/> > </daml:disjointUnionOf> > </rdfs:Class> I second this. Disjoint is already the odd one out in DAML+OIL, since: "The Disjoint axiom is the only axiom in DAML+OIL that is not associated with either a Class element or (a variant of) a Propertyelement." (quote from http://www.daml.org/2000/12/reference.html#Axiom) Frank.van.Harmelen@cs.vu.nl http://www.cs.vu.nl/~frankh Department of AI, Faculty of Sciences, Vrije Universiteit Amsterdam de Boelelaan 1081a, 1081HV Amsterdam, The Netherlands tel (+31)-20-444 7731 fax&voicemail (+31)-20-8722806
Received on Friday, 12 January 2001 19:56:17 UTC