- From: Ian Davis <iand@internetalchemy.org>
- Date: Fri, 30 May 2003 09:44:52 +0100
- To: www-rdf-interest@w3.org
On Friday, 30 May 2003 at 01:26, Jimmy Cerra wrote: > Since the spec says that everything in RDF is a resource, would the > above graph also imply the statement (which is the same one as before): > #foo <rdf:type> <rdfs:Resource> Yes. This is described at the end of the new RDF Model Theory draft (http://www.w3.org/TR/rdf-mt/#rdfs_entail). Entailment rdfs4a says that if you have a triple of the form xxx aaa yyy . then you add another triple: xxx rdf:type rdfs:Resource . - Ian <iand@internetalchemy.org> "Minds are like books - they work best when open"
Received on Friday, 30 May 2003 04:44:23 UTC