From: Peter F. Patel-Schneider ([email protected])
Date: 10/04/01
From: Pat Hayes <[email protected]>
Subject: Re: new model theory for DAML+OIL
Date: Thu, 4 Oct 2001 11:32:29 -0500
[...]
> >4/ My hope is that the RDF(S) model theory from the RDF Core WG will
> >eventually include datatypes. If this is not the case then I expect that
> >it will be able to admit the DAML+OIL version of datatypes.
>
> I would guess the latter is the likeliest outcome, but its only a
> guess. Certainly I would want to at least achieve this as a minimum,
> so let us try to keep our work in alignment as far as possible.
>
> It still seems to me that the slight weakening of the
> ICEXT(I(rdf:Literal)) condition (to a subset of LV) is all that is
> needed to keep the required compatibility, since my LV can be the
> union of the ranges of your various literal mappings, and it may
> overlap with IR (and if it does, then your two cases for rdfs:range
> are both covered by my equation on the intersection.) If you
> disagree, can you pinpoint the problem, so I can fix it?
I don't think that this works, because mentioning a literal can make it
also be a resource. Consider
rdfs:label rdfs:range rdfs:Literal .
rdfs:range rdfs:label "Range" .
makes I("Range") in ICEXT(I(rdfs:Literal)
so <I("Range"), I(rdfs:Literal)> in IEXT(I(rdf:type))
and thus I("Range") in IR
However, there is also a more-basic problem with literals.
Literals have a unique mapping into literal values, which means the
denotation of both literals below have to be the same.
<Person rdf:ID="John">
<age>05</age>
<streetAddress>05</streetAddress>
</Person>
This would not allow one to consistently say
<age rdfs:range xsd:integer>
<streetAddress rdfs:range xsd:string>
[...]
> Pat
peter
This archive was generated by hypermail 2.1.4 : 04/02/02 EST