Warning:
This wiki has been archived and is now read-only.
Entailment Support
Contents
Entailment support of selected RDF databases and APIs
AllegroGraph
AllegroGraph 6.4.1 — Reasoner Tutorial
(Appears to support RDFS plus some OWL properties such as owl:inverseOf, owl:sameAs)
Apache Jena
Reasoners and rule engines: Jena inference support — The RDFS reasoner
(Appears to support RDFS almost completely, backward or forward chaining)
Dydra
(According to James Anderson: "for the moment, the entry for dydra should indicate no inferencing support, but that should change sometime within the quarter.")
OntoText GraphDB
(Appears to include a rule set with all of RDFS, plus more)
OpenLink Virtuoso
OpenLink Virtuoso — 16.14. Inference Rules & Reasoning and subsequent manual pages
(Virtuoso supports built-in rules for RDFS, most common aspects of OWL (owl:sameAs
, owl:equivalentClass
, owl:equivalenProperty
, owl:TransitiveProperty
, owl:InverseFunctionalProperty
, owl:SymmetricProperty
) and an ability to create Custom Rules using SPARQL as the Rules Language via terms from SPIN or SHACL Vocabularies.)
Also see
- Using British Royal Family Data Snippets to demonstrate SPARQL Query Language-based Reasoning & Inference
- Custom Reasoning & Inference using British Royal Family Relationships -- Part 2
- Creating Custom Inference Rules using the SPIN Vocabulary and Virtuoso 8.0
- Exploiting the Benefits of Reasoning & Inference using various RDF Frameworks and Virtuoso
Oracle RDF
Oracle 12.2 RDF Semantic Graph Developer's Guide — 2 OWL Concepts
(Appears to cover most of OWL, plus more)
RDFLib
(Some inferencing support possibly from 3rd party libs such as https://code.google.com/p/fuxi/)
Redland (Rasqal)
Redland — Rasqal RDF Query Library
("Rasqal is not an inference engine" but maybe there is another library for that?)
Sesame
Sesame 2.8 — 6.4. Creating a repository
(Appears to cover forward reasoning only, "warning: the Sesame inferencers add a significant performance overhead when adding and removing data to a repository")
SPARQLVerse
http://sparqlcity.com/product/
(No inferencing?)
Stardog
Stardog — OWL & Rule Reasoning
(Quite flexible, all of OWL plus custom rules)