W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: missing (and incorrect) RDFS axioms

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 8 Nov 2002 12:29:57 -0600
Message-Id: <p05111b29b9f1b14b23dd@[65.217.30.130]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: w3c-rdfcore-wg@w3.org, fmanola@attbi.com 

>Hi:
>
>It appears to me that the current list of RDFS axioms is missing
>
>	rdf:List rdf:type rdfs:Class .

Whoops, indeed. Will fix.

>Also isn't it the case that
>
>rdfs:Datatype	rdfs:type rdfs:Class .
>
>not
>
>rdfs:Datatype	rdfs:subClassOf rdfs:Literal .

Ditto.

>and that there should be a rule
>
>xxx rdf:type rdfs:Datatype. ---> xxx rdfs:subClassOf rdfs:Literal .

Yes... except this needs to be thought through a bit more, given the 
new way of handling badly-typed literals. I'll get back to you on 
that.

Thanks for catching these. Too many late nights.

Pat


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   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 Friday, 8 November 2002 13:29:38 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:01 EDT