Uses of Class
com.bigdata.rdf.rules.InferenceEngine

Packages that use InferenceEngine

Package	Description
com.bigdata.rdf.inf	This package provides an eager closure inference engine for most of the RDF and RDFS entailments and can be used to realize entailments for owl:sameAs, owl:equivilentClass, and owl:equivilentProperty.
com.bigdata.rdf.rules
com.bigdata.rdf.store	This package provides several realizations of an RDF database using the bigdata architecture, including one suitable for temporary data, one suitable for local processing (single host), and one designed for scale-out on commodity hardware.

Uses of InferenceEngine in com.bigdata.rdf.inf

Fields in com.bigdata.rdf.inf declared as InferenceEngine

Modifier and Type	Field and Description
protected InferenceEngine	TruthMaintenance.inferenceEngine The object used to compute entailments for that database.

Methods in com.bigdata.rdf.inf with parameters of type InferenceEngine

Modifier and Type	Method and Description
static boolean	Justification.isGrounded(InferenceEngine inf, TempTripleStore focusStore, AbstractTripleStore db, ISPO head, boolean testHead, boolean testFocusStore, Justification.VisitedSPOSet visited)
static boolean	Justification.isGrounded(InferenceEngine inf, TempTripleStore focusStore, AbstractTripleStore db, SPO head, boolean testHead, boolean testFocusStore) Return true iff a grounded justification chain exists for the statement.

Constructors in com.bigdata.rdf.inf with parameters of type InferenceEngine

Constructor and Description
TruthMaintenance(InferenceEngine inferenceEngine)

Uses of InferenceEngine in com.bigdata.rdf.rules

Methods in com.bigdata.rdf.rules with parameters of type InferenceEngine

Modifier and Type	Method and Description
void	TestTruthMaintenance.doStressTest(TempTripleStore tmp, InferenceEngine inf, int ntrials, int D, int N) A stress test for truth maintenance using an arbitrary data set.

Uses of InferenceEngine in com.bigdata.rdf.store

Methods in com.bigdata.rdf.store that return InferenceEngine

Modifier and Type	Method and Description
InferenceEngine	ITripleStore.getInferenceEngine() Return an InferenceEngine singleton configured using the properties that were used to configure the database.
InferenceEngine	AbstractTripleStore.getInferenceEngine()
InferenceEngine	DataLoader.getInferenceEngine() The object used to compute entailments for the database.