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.
The deduction rules for simple and RDF entailment are sound and complete.
The deduction rules for RDFS entailment are sound.
According to the spec  they are also complete, but they are not:
ex:isHappilyMarriedTo rdfs:subPropertyOf _:bnode .
_:bnode rdfs:domain ex:Person .
ex:Bob ex:isHappilyMarriedTo ex:Alice .
has the logical consequence
ex:Bob rdf:type ex:Person .
but is not derivable using the RDFS deduction rules.
Which rule(s) need to be changed and how in order to fix this?
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License