W3C home > Mailing lists > Public > www-rdf-comments@w3.org > January to March 2003

Re: RDF Semantics: use of functions IEXT / ICEXT

From: pat hayes <phayes@ai.uwf.edu>
Date: Wed, 26 Feb 2003 15:23:29 -0600
Message-Id: <p05111b06ba82dfa0a063@[]>
To: herman.ter.horst@philips.com
Cc: www-rdf-comments@w3.org

>  >>The semantic conditions on rdfs:range and rdfs:domain in Section 3.3
>>>do not yet incorporate explicit domain assumptions as just
>>>discussed.  It seems that additions such as the following need
>>>therefore to be made:
>>The additions suggested are not required, since they follow from the
>>axiomatic triples in the next table and the other conditions on range
>>and domain.
>>It is probably easiest to express the reasoning in terms of triples
>>that must be satisfied by an interpretation I. For example, suppose
>><x,y> is in IEXT(I(rdfs:range)), ie that
>>I |= (x) rdfs:range (y)
>I do not understand this step.  In these two lines x/y have a different
>origin.  In "<x,y> is in IEXT(I(rdfs:range))", x and y are in IR.
>In the triple "(x) rdfs:range (y)", x and y are uri's or blank nodes
>(y may also be a literal).  So this conclusion ("ie that")
>is not clear.

Sorry, I was using an unstated convention. Let me rephrase it more carefully.

Suppose <x,y> is in IEXT(I(rdfs:range)) and suppose that I(aaa)=x and 
I(bbb)=y. Then

I |= aaa rdfs:range bbb .

Now, since

I |= rdfs:range rdfs:domain rdf:Property .  (axiomatic triple)

it follows by the semantic conditions on rdfs:domain that

I |= aaa rdf:type rdf:Property .

and hence that I(aaa)=x is in IP.

Similarly for bbb, the axiomatic triple defining the range of 
rdfs:range, and IC.

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@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Wednesday, 26 February 2003 16:23:33 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:15:20 UTC