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

Re: RDF Semantics: presenting the definition of rdfs interpretations

From: pat hayes <phayes@ai.uwf.edu>
Date: Thu, 17 Apr 2003 17:55:46 -0500
Message-Id: <p05111b07bac4e08ea4c8@[]>
To: herman.ter.horst@philips.com
Cc: www-rdf-comments@w3.org

Herman, would you find the following *substitution*  sufficient? It 
reads somewhat more naturally than the insertion of your sentence 
just before the table, which smacks of repetition.


>  >--------
>  >3.3 RDFS Interpretations
>  >
>>Although not strictly necessary, it is convenient to state the RDFS
>>semantics in terms of a new semantic construct, a 'class', i.e. a
>>resource which represents a set of things in the universe which all
>>have that class as the value of their rdf:type property. Classes are
>>defined to be things of type rdfs:Class, and the set of all classes
>>in an interpretation will be called IC. The semantic conditions are
>>stated in terms of a mapping ICEXT (for the Class Extension in I)
>  >from from *IC to the set of  subsets of IR*. The meanings of ICEXT 
>and IC in a
>  >rdf-interpretation of the RDFS vocabulary are completely defined by
>>the first two conditions in the table below. Notice that a class may
>>have an empty class extension; that (as noted earlier) two different
>>class entities could have the same class extension; and that the
>>class extension of rdfs:Class contains the class rdfs:Class.
>>An rdfs-interpretation of V is an rdf-interpretation I of (V union
>>rdfV union rdfsV) which satisfies the following semantic conditions
>>and all the triples in the subsequent table, called the RDFS
>>axiomatic triples.
>>x is in ICEXT(y) iff <x,y> is in IEXT(I(rdf:type))
>>IC = ICEXT(I(rdfs:Class))
>  >

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 Thursday, 17 April 2003 18:55:49 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:02 UTC