Re: RDF Semantics: use of functions IEXT / ICEXT

>  >
>>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 UTC