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

Re: Concrete and abstract domains disjointness

From: Pat Hayes <phayes@ihmc.us>
Date: Mon, 10 May 2004 13:20:56 -0500
Message-Id: <p06001f48bcc577e98f62@[10.0.100.76]>
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

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