Current Slide

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.

Completeness

The deduction rules for simple and RDF entailment are sound and complete.

The deduction rules for RDFS entailment are sound.

According to the spec [2] 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?


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.