W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

Re: possible semantic bugs concerning domain and range

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 25 Sep 2002 13:18:07 -0400 (EDT)
Message-Id: <20020925.131807.79226591.pfps@research.bell-labs.com>
To: phayes@ai.uwf.edu
Cc: www-webont-wg@w3.org

From: pat hayes <phayes@ai.uwf.edu>
Subject: Re: possible semantic bugs concerning domain and range
Date: Wed, 25 Sep 2002 12:13:40 -0500

[...]

> >>  These can all be expressed using my notion of range and
> >>  rdfs:subClassOf or rdf:type. The important inferences about ranges -
> >>  notably, the kind that arise from an association of a datatype with a
> >>  range - apply in both semantics, but require more care to state in
> >>  yours. 
> >
> >Do these inferences actually work?  I thought that RDF Core had decided
> >that they didn't work in the presence of super-properties.
> 
> No, the problem was the possibility of an XML datatype value space 
> being included in another when the datatype mappings were 
> incompatible, and we basically decided to punt on that one. I don't 
> think superproperties pose any problem, but maybe I missed something: 
> what do you see as the problem there?

Suppose that you have the following:

   foo rdfs:subPropertyOf bar .
   foo rdfs:range xsd:[integer union string] .
   bar rdfs:range xsd:[string union integer] .

   john foo 10 .

how is 10 to be interpreted?

peter
Received on Wednesday, 25 September 2002 13:18:19 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:52 GMT