At 08:25 24/04/2003 -0500, Dan Connolly wrote: >er... are you sure it can't be added at a higher level? >It seems to me all we'd have to do is add > > rdf:first rdfs:domain rdfs:List. > rdf:domain rdfs:domain rdfs:List. > rdf:nil rdf:type rdfs:List. > >to RDFS. Er, they're already there: [[ rdf:first rdfs:domain rdf:List . rdf:rest rdfs:domain rdf:List . ]] -- http://www.w3.org/TR/rdf-mt/#RDFS_axiomatic_triples and [[ rdf:nil rdf:type rdf:List . ]] -- http://www.w3.org/TR/rdf-mt/#rdfs_entail #g ------------------- Graham Klyne <GK@NineByNine.org> PGP: 0FAA 69FF C083 000B A2E9 A131 01B9 1C7A DBCA CB5EReceived on Friday, 25 April 2003 11:30:39 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:01 EDT