org.eclipse.rdf4j.sail.spin

Class SpinInferencing

java.lang.Object

org.eclipse.rdf4j.sail.spin.SpinInferencing

public class SpinInferencing
extends Object

Collection of useful utilities for doing SPIN inferencing.

Method Summary

Modifier and Type	Method and Description
static ConstraintViolation	checkConstraint(org.eclipse.rdf4j.model.Resource subj, org.eclipse.rdf4j.model.Resource constraint, org.eclipse.rdf4j.query.algebra.evaluation.QueryPreparer queryPreparer, SpinParser parser)
static int	executeRule(org.eclipse.rdf4j.model.Resource subj, org.eclipse.rdf4j.model.Resource rule, org.eclipse.rdf4j.query.algebra.evaluation.QueryPreparer queryPreparer, SpinParser parser, InferencerConnection conn)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

executeRule

public static int executeRule(org.eclipse.rdf4j.model.Resource subj,
                              org.eclipse.rdf4j.model.Resource rule,
                              org.eclipse.rdf4j.query.algebra.evaluation.QueryPreparer queryPreparer,
                              SpinParser parser,
                              InferencerConnection conn)
                       throws org.eclipse.rdf4j.OpenRDFException

Throws:

org.eclipse.rdf4j.OpenRDFException

checkConstraint

public static ConstraintViolation checkConstraint(org.eclipse.rdf4j.model.Resource subj,
                                                  org.eclipse.rdf4j.model.Resource constraint,
                                                  org.eclipse.rdf4j.query.algebra.evaluation.QueryPreparer queryPreparer,
                                                  SpinParser parser)
                                           throws org.eclipse.rdf4j.OpenRDFException

Throws:

org.eclipse.rdf4j.OpenRDFException