On 24/03/15 08:00, Lorenz Bühmann wrote:
Hello,
I'm using latest Apache JENA 2.13.0 and I'm wondering if it contains
algorithms for RDFS or even pD* entailment of graphs (aka. models)? I
couldn't find anything in the documentation
(https://jena.apache.org/documentation/inference/), that's why I'm
asking before I start to implement it by myself.
As it says in that documentation there is the RDFS rule reasoner which
implements different subsets of the RDFS entailment rules but, as it
says there, even the FULL mode omits the bNode datatype entailments.
If you need absolute and guaranteed completeness then indeed building
your own would be the way to go.
Dave
