W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > May 2003

Re: pfps-25 schema semantics

From: pat hayes <phayes@ai.uwf.edu>
Date: Sun, 25 May 2003 12:54:14 -0500
Message-Id: <p0521060bbaf6b11aad4d@[]>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>

>Pat, Peter,
>I think the Schema Doc and the semantics doc are now in sync on 
>these so I'm proposing a formal motion to close below.  Please let 
>us know if there's a problem I missed.
>Sitting together, Danbri and I have been reviewing issue
>   http://www.w3.org/2001/sw/RDFCore/20030123-issues/#pfps-25
>that concerns a number of discrepancies between the schema doc and 
>the semantics doc.
>The first point is:
>- Schema states ``Each instance of rdfs:Datatype is a subclass of
>   rdfs:Literal'', but this is only a consequence of D-interpretations, not
>   RDFS-interpretations.
>The current editors draft of the semantics doc
>   http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/#rdfs_interp
>now says that this relationship is a consequence of RDFS - 
>interpretations.  Pat please can you confirm this.


>- Schema states ``rdf:XMLLiteral is an instance of rdfs:Datatype and a
>   subclass of rdfs:Literal''.   The second part of this is not even a
>   consequence of D-interpretations.
>These assertions are now also included in RDFS interpretations as 
>stated in the editors draft of the semantics doc:
>   http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/#rdfs_interp
>Pat - confirm?


>- Schema states
>	``The rdfs:domain of rdf:type is rdfs:Resource.''
>	``The rdfs:domain of rdfs:label is rdfs:Resource.''
>	``The rdfs:domain of rdfs:comment is rdfs:Resource.''
>	``The rdfs:domain of rdfs:comment is rdfs:Resource.''
>	``The rdfs:domain of rdfs:member is rdfs:Resource.''   @@@@@@
>	``The rdfs:range of rdfs:member is rdfs:Resource.''
>	``The rdfs:range of rdfs:first is rdfs:Resource.''
>	``The rdfs:range of rdf:subject is rdfs:Resource.''
>	``The rdfs:range of rdf:resource is rdf:Property.''
>I presume Peter meant the range of rdf:Predicate is rdf:Property
>	``The rdfs:range of rdf:object is rdfs:Resource.''
>	``The rdfs:domain of rdfs:seeAlso is rdfs:Resource.''
>	``The rdfs:range of rdfs:seeAlso is rdfs:Resource.''
>	``The rdfs:domain of rdfs:isDefinedBy is rdfs:Resource.''
>	``The rdfs:range of rdfs:isDefinedBy is rdfs:Resource.''
>	``The rdfs:domain of rdfs:value is rdfs:Resource.''
>	``The rdfs:range of rdfs:value is rdfs:Resource.''
>   but none of these are consequences of RDFS-interpretations.  (Well,
>   actually Semantics is vague about most of these, as there is a vague
>   addendum to the conditions on RDFS-interpretations that indicates that
>   some domain and range assertions ``may be taken to be rdfs:Resource''.
>   In my view this vagueness is inappropriate for the definition of
>   RDFS-interpretations.)
>Semantics is no longer vague about these.  It specifies them as 
>above, except that the one marked @@@@@ is incorrectly stated.

Right, that point has been raised elsewhere. This is now corrected in 
my current editor's draft.


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 Sunday, 25 May 2003 13:54:19 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:22 UTC