W3C home > Mailing lists > Public > www-rdf-logic@w3.org > January 2001

Re: Bugs in 2000/12 daml+oil reference on DAML collections

From: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>
Date: Fri, 12 Jan 2001 23:55:54 -0100
Message-ID: <3A5FC3BA.FBC29EAE@cs.vu.nl>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT