W3C home > Mailing lists > Public > www-rdf-interest@w3.org > October 2010

Everything is a Resource

From: Svatopluk Šperka <sperka@gmail.com>
Date: Mon, 25 Oct 2010 23:44:33 +0200
Message-ID: <4CC5FA41.7010805@gmail.com>
To: www-rdf-interest@w3.org
Hi,

I have this problem with comprehending how entailment rules are 
constructed for RDFS concerning "everything is a resource".

There are rules rdfs4a and rdf4b which state that subject and object of 
every triple are resources.

These rules seem to me, however, as special cases of rdfs2 and rdfs3 
which are saying that subject/object of a triple can be assinged a type 
according to defined domain/range of a property in a triple. Only 
condition is that It would have to be given that for every property, its 
domain and range is class of all resources.

Btw.
It is noted in RDF Semantics in section 7.3.1 "Extensional Semantic 
Rules" that they have exactly this consequence (that domain and range of 
every property is rdfs:Resource). Although I don't see how it's possibly 
from rules that are listed, it's evident from extensional semantic 
conditions in section 4.2.

I would really appreciate if someone could explain rationale behind this 
to me.

Thank you very much.


Svatopluk Šperka
Received on Thursday, 28 October 2010 12:32:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 28 October 2010 12:32:19 GMT