W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2004

Re: Concrete and abstract domains disjointness

From: Dan Connolly <connolly@w3.org>
Date: Mon, 10 May 2004 13:09:30 -0500
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: "Dimitrios A. Koutsomitropoulos" <kotsomit@hpclab.ceid.upatras.gr>, www-rdf-logic@w3.org
Message-Id: <1084212570.32018.357.camel@dirk>

On Mon, 2004-05-10 at 12:45, Jeremy Carroll wrote:
> Dimitrios A. Koutsomitropoulos wrote:
> > 
> > Can somebody explain some formal reason why the concrete and abstract
> > domains (i.e. the datatype and individual sets) have to be disjoint in OWL
> > DL?


> IIRC this issue was not (formally) raised, 

No? I think it was:

5.1 Uniform treatment of literal/data values
The DAML+OIL specs separate the domain of discourse into datatype values
and individuals, and require ontology designers to designate whether
properties take datatype values or individuals. As a result, interesting
features like UniqueProperty can't be used for properties that take
string/date/integer values.

> so the separation is in OWL because it was in DAML+OIL (not for 
> technical reasons)
> Jeremy
Dan Connolly, W3C http://www.w3.org/People/Connolly/
see you at the WWW2004 in NY 15-21 May?
Received on Monday, 10 May 2004 14:09:25 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:42 UTC