|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Justification.VisitedSPOSet | |
|---|---|
| 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 | |
|---|---|
static boolean |
Justification.isGrounded(InferenceEngine inf,
TempTripleStore focusStore,
AbstractTripleStore db,
ISPO head,
boolean testHead,
boolean testFocusStore,
Justification.VisitedSPOSet visited)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||