Skip to content
This repository has been archived by the owner on Feb 22, 2020. It is now read-only.

eclipse/rdf4j#1298 rdfs reasoner for the SHACL engine #175

Merged
merged 5 commits into from
Feb 20, 2019

Conversation

hmottestad
Copy link
Contributor

@hmottestad hmottestad commented Feb 19, 2019

SHACL specs require that the engine implement a rudimentary RDFS reasoner that supports rdfs:subClassOf.

This PR addresses GitHub issue: eclipse-rdf4j/rdf4j#1298 .

Briefly describe the changes proposed in this PR:

  • simple rdfs reasoner
  • forward-chaining the Added and Removed memory stores
  • backwards chain the base sail (hasStatement and getStatements)
  • backwards chain SPARQL queries by using UNION in the SHACL implementation instead of attempting to do query rewrite after-the-fact

…r the shacl engine

Signed-off-by: Håvard Ottestad <hmottestad@gmail.com>
Signed-off-by: Håvard Ottestad <hmottestad@gmail.com>
@hmottestad
Copy link
Contributor Author

Don't have any benchmarks for this, and it's not really been optimised for performance.

Signed-off-by: Håvard Ottestad <hmottestad@gmail.com>
…ck tests

Signed-off-by: Håvard Ottestad <hmottestad@gmail.com>
Signed-off-by: Håvard Ottestad <hmottestad@gmail.com>
@hmottestad
Copy link
Contributor Author

Benchmarks show that unless you are adding rdfs:subClassOf statements there is no impact on performance.

@hmottestad hmottestad merged commit 917f45d into master Feb 20, 2019
@hmottestad hmottestad deleted the issues/1298_rdfs_reasoner_shacl branch March 19, 2019 14:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant