- From: Pat Hayes <phayes@ihmc.us>
- Date: Mon, 10 May 2004 13:20:56 -0500
- To: Dan Connolly <connolly@w3.org>
- Cc: 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 > What I should have said was that the WG never considered removing this distinction *from the design of OWL-DL* (referred to as 'Fast OWL' in the message cited above). Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ihmc.us http://www.ihmc.us/users/phayes
Received on Monday, 10 May 2004 14:21:15 UTC