- 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>
> 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 UTC