ISSUE: uniform treatment of literal/data values

TITLE: uniform treatment of literal/data values

DESCRIPTION: 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.

Another result of this design is the distinction
between rdfs:Class and daml:Class, about
which users have asked for clarification.


RAISED BY: Dan Connolly


REFERENCE:
  * Re: SEM: semantics for current proposal (why R disjoint V?)
  Dan Connolly (Thu, Mar 21 2002)
  http://lists.w3.org/Archives/Public/www-webont-wg/2002Mar/0241.html

  * Re: SEM: semantics for current proposal (why R disjoint V?)
(sameState TEST)
  Dan Connolly (Tue, Apr 23 2002)
  http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0261.html

  Re: rdfs:Class vs. daml:Class ?
  From: Dan Connolly (connolly@w3.org)
  Date: Fri, Mar 29 2002
  http://lists.w3.org/Archives/Public/www-rdf-logic/2002Mar/0040.html


TEST CASE:
  This inference isn't valid per the current DAML+OIL
  specs; I suggest it should be.

  http://www.w3.org/2002/03owlt/sameStateP.rdf
  http://www.w3.org/2002/03owlt/sameStateC.rdf



This message is intended to follow:

  RE: ISSUES - how to submit
  From: Smith, Michael K (michael.smith@eds.com)
  Date: Fri, Apr 19 2002
  http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0197.html

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Wednesday, 24 April 2002 11:40:10 UTC