Re: pfps-25 schema semantics

>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.
>
>------------
>
>RDFCore,
>
>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.

Confirmed.

>[[
>- 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?

Confirmed

>
>[[
>- 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.

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