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

Re: Concrete and abstract domains disjointness

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Mon, 10 May 2004 18:45:01 +0100
Message-ID: <409FBF9D.20103@hplb.hpl.hp.com>
To: "Dimitrios A. Koutsomitropoulos" <kotsomit@hpclab.ceid.upatras.gr>
Cc: www-rdf-logic@w3.org

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?

I think in addition to the other postings, I would suggest procedural 
reasons. Those who like this separation could point to implementations 
(both real and theoretical algorithms) based on this idea, and had the 
advantage that Daml+OIL has this separation. Anyone wishing to challenge 
that really needed to point to working systems, with academic 
creditionals, that was as credible. I don't think this point was 
seriously challenged.
Politically, those who were most likely to want to challenge this 
separation were happy enough with OWL Full.

The point of deliberately ignoring your request for *formal* reasons, is 
that any such reasons will be the views of some (but not all) of the WG. 
OWL was determined using a process, which was (roughly) to take DAML+OIL 
and raise issues against it. IIRC this issue was not (formally) raised, 
so the separation is in OWL because it was in DAML+OIL (not for 
technical reasons)


Jeremy
Received on Monday, 10 May 2004 13:48:15 UTC

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