RDFS Entailment
An entailment regime defines by RDFs (,OWL, etc.) not only which entailment relation is used, but also which queries and graphs are well-formed for the regime. The RDFS entailment is a standard entailment relations in the semantic web.
For example, the following declares that 'Dog1 is an animal','Cat1 is a cat', 'Zoos host animals' and 'Zoo1 hosts the Cat2' :
ex:dog1 rdf:type ex:animal ex:cat1 rdf:type ex:cat zoo:host rdfs:range ex:animal ex:zoo1 zoo:host ex:cat2But this graph is not well formed because the system can not guess that a cat is an animal. We have to add 'Cats are animals' to do a well-formed graph with :
ex:cat rdfs:subClassOf ex:animalVoila, the correct example:
In english | The graph |
---|---|
|
|
RDF/turtle | |
@prefix rdf: Read more about this topic: RDF Schema |