Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
With the class
RDF Schema gives the possibility of
. It has the following Properties
Using Reification we can see an RDF triple as a Resource and formulate facts about it. (e.g. that the theory hasn't been proved)
ex:Detective ex:supposes _:theory .
_:theory rdf:type rdf:Statement .
_:theory rdf:subject ex:Butler .
_:theory rdf:predicate ex:hasKilled .
_:theory rdf:object ex:Gardener .
_:theory ex:hasState "unproved" .
Note that the following statement is
a logical consequence of this:
ex:Butler ex:killed ex:Gardener .
If the RDF(S) specification said that it is a logical consequence, this wouldn't make sense – it would prevent us from being able to talk about unproved or wrong statements.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License