Re: Issue timbl-03 "collection clutter" proposal to close

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 CB5E

Received on Friday, 25 April 2003 11:30:39 UTC