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

Re: Notes on updates to RDF Schema

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 29 Oct 2002 10:49:49 +0100
To: "Brian McBride <bwm" <bwm@hplb.hpl.hp.com>
Cc: dan Brickley <danbri@w3.org>, RDF Core <w3c-rdfcore-wg@w3.org>
Message-ID: <OF0F1A3E7F.DD2616EA-ONC1256C61.00337E52-C1256C61.00360456@agfa.be>


> I've prepared the attached as some briefing notes to help Danbri do the
> update to schema.  Please feel free to correct bits that you think are
> wrong or add bits that are missing.
>
> Datatypes
> =========
>
> o Define rdfs:Datatype the class of all datatypes.
> o rdfs:Datatype is a subclass of rdfs:Class, i.e. datatypes are classes
> o The class extension of a datatype class is the value space of the
class.
> o a range constraint on a property can take a datatype as its value
> o rdfs:XMLLiteral is a member of rdfs:Datatype
> o rdfs:XMLLiteral is a subClass of rdf:Literal

isn't it rdfs:Literal ?

> o some discussion of notion of a datatype inconsistency - lex form does
not
> come from lex space or range constraints with disjoint value spaces
>
> Collections
> ===========
>
> o Define terms rdf:List a class
>                 rdf:first a property
>                 rdf:rest a property
>                 rdf:nil  a resource

i.e.    rdf:nil a rdf:List.

> o rdf:rest has a range of rdf:List

and       rdf:rest rdfs:domain rdf:List .

and also       rdf:first rdfs:domain rdf:List .

I've tested that with http://www.agfa.com/w3c/euler/rdfs-rules

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 29 October 2002 04:51:33 EST

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