> 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-8722806Received on Friday, 12 January 2001 19:56:17 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT