Re: possible semantic bugs concerning domain and range

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 UTC