# Re: RDF Semantics: use of functions IEXT / ICEXT

From: pat hayes <phayes@ai.uwf.edu>
Date: Wed, 5 Mar 2003 09:26:15 -0500
Message-Id: <p05111b0bba8bb55ab670@[64.134.139.17]>

```
>  >
>>First, the truth of the axiomatic triple
>>
>>rdfs:range rdfs:domain rdf:Property .
>>
>>and the semantic conditions on rdfs:domain together require that
>>
>><x,y> inIEXT(I(rdfs:range)) implies x in ICEXT(I(rdf:Property))
>>
>>which in turn, by applying the condition (definition if you like :)
>>
>>IP= ICEXT(I(rdf:Property))
>>
>>means that
>>
>><x,y> in IEXT(I(rdfs:range)) implies x in IP
>>
>>Similarly y is in IC, using a different axiomatic triple.
>>
>>Is this more convincing?
>
>No: you use in this reasoning the conditions which
>I claimed are not complete in their statement.

I do not think that I do use them. I will present the argument in more detail.

1.    I |= rdfs:range rdfs:domain rdf:Property .         [axiomatic triple]
2.    <I(rdfs:range), I(rdf:Property)> in IEXT(I(rdfs:domain))
[1., basic RDF truthconditions]
3.   <x,y> in I(rdfs:range)  implies  x in ICEXT(I(rdf:Property))
[2., semantic conditions on rdfs:domain]
4.  <x,y> in I(rdfs:range)  implies x in IP  [3., definition of IP]

Note, step 3 does not depend on x being in any particular class; it
simply uses the semantic conditions in the form they have in the
document. None of this derivation implicitly assumes anything other
than what is stated, and it has as a conclusion the 'assumption' that
x is in IP. An exactly similar derivation (replace rdfs:domain by
rdfs:range, rdf:Property by rdfs:Class and IP by IC) shows that y is
in IC. So these assumptions are derivable, so are not needed.

>The domain and range conditions as they are now formulated
>implicitly assume that x is in IP and y is in IC,

If you still maintain that these assumptions are used implicitly,
please give details of where the above derivation fails.

Best wishes

Pat

--
---------------------------------------------------------------------
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, 5 March 2003 09:26:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:31 GMT