Uses of Class
com.bigdata.rdf.inf.Justification.VisitedSPOSet

Packages that use Justification.VisitedSPOSet

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.

Uses of Justification.VisitedSPOSet in com.bigdata.rdf.inf

Methods in com.bigdata.rdf.inf with parameters of type Justification.VisitedSPOSet

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)