- 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
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. ]] http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.1-Uniform-treatment-of-literal-data-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