- From: pat hayes <phayes@ai.uwf.edu>
- Date: Wed, 5 Mar 2003 09:26:15 -0500
- To: herman.ter.horst@philips.com
- Cc: www-rdf-comments@w3.org
> > >>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