public class PelletInfGraph
extends org.apache.jena.reasoner.BaseInfGraph
implements org.apache.jena.reasoner.InfGraph
| Modifier and Type | Field and Description |
|---|---|
protected KnowledgeBase |
kb |
static Logger |
log |
fdata, reasoner, recordDerivations, version| Constructor and Description |
|---|
PelletInfGraph(org.apache.jena.graph.Graph graph,
PelletReasoner pellet,
GraphLoader loader) |
PelletInfGraph(KnowledgeBase kb,
PelletReasoner pellet,
GraphLoader loader) |
| Modifier and Type | Method and Description |
|---|---|
GraphLoader |
attachTemporaryGraph(org.apache.jena.graph.Graph tempGraph) |
void |
classify() |
void |
clear() |
void |
close() |
void |
close(boolean recursive) |
protected boolean |
containsTriple(org.apache.jena.graph.Triple pattern) |
void |
detachTemporaryGraph(org.apache.jena.graph.Graph tempGraph,
GraphLoader savedLoader) |
boolean |
entails(org.apache.jena.graph.Triple pattern) |
org.apache.jena.rdf.model.Model |
explain(org.apache.jena.rdf.model.Resource s,
org.apache.jena.rdf.model.Property p,
org.apache.jena.rdf.model.RDFNode o) |
org.apache.jena.rdf.model.Model |
explain(org.apache.jena.rdf.model.Statement stmt) |
org.apache.jena.graph.Graph |
explain(org.apache.jena.graph.Triple pattern) |
org.apache.jena.rdf.model.Model |
explainInconsistency() |
org.apache.jena.util.iterator.ExtendedIterator<org.apache.jena.graph.Triple> |
find(org.apache.jena.graph.Node subject,
org.apache.jena.graph.Node property,
org.apache.jena.graph.Node object,
org.apache.jena.graph.Graph param) |
org.apache.jena.util.iterator.ExtendedIterator<org.apache.jena.graph.Triple> |
findWithContinuation(org.apache.jena.reasoner.TriplePattern pattern,
org.apache.jena.reasoner.Finder finder) |
org.apache.jena.graph.Graph |
getDeductionsGraph() |
KnowledgeBase |
getKB()
Returns the underlying Pellet KnowledgeBase.
|
GraphLoader |
getLoader() |
KnowledgeBase |
getPreparedKB()
Returns the underlying Pellet KnowledgeBase after calling
prepare(). |
org.apache.jena.graph.Graph |
getSchemaGraph() |
protected boolean |
graphBaseContains(org.apache.jena.graph.Triple pattern) |
boolean |
isAutoDetectChanges() |
boolean |
isClassified() |
boolean |
isConsistent() |
boolean |
isPrepared() |
boolean |
isRealized() |
boolean |
isSkipBuiltinPredicates() |
void |
performAdd(org.apache.jena.graph.Triple t)
Add one triple to the data graph, mark the graph not-prepared, but don't
run prepare() just yet.
|
void |
performDelete(org.apache.jena.graph.Triple t)
Delete one triple from the data graph, mark the graph not-prepared, but
don't run prepare() just yet.
|
void |
prepare() |
void |
prepare(boolean doConsistencyCheck) |
void |
realize() |
void |
reload()
Reloads all the triple from the underlying models regardless of updates or current state.
|
void |
setAutoDetectChanges(boolean autoDetectChanges)
Sets auto detection of changes in the subgraphs associated with this model.
|
void |
setSkipBuiltinPredicates(boolean skipBuiltinPredicates) |
org.apache.jena.reasoner.ValidityReport |
validate()
Test the consistency of the model.
|
cloneWithPremises, discardState, find, getCapabilities, getDerivation, getGlobalProperty, getPrefixMapping, getRawGraph, getReasoner, getTransactionHandler, getVersion, graphBaseFind, graphBaseFind, graphBaseSize, isEmpty, rebind, rebind, remove, requirePrepared, reset, setDerivationLogging, setPreparedState, testGlobalPropertyadd, checkOpen, contains, contains, containsByFind, createPrefixMapping, createStatisticsHandler, delete, dependsOn, find, find, forTestingOnly_graphBaseFind, getEventManager, getStatisticsHandler, isClosed, isIsomorphicWith, notifyAdd, notifyDelete, size, toString, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitpublic static final Logger log
protected KnowledgeBase kb
public PelletInfGraph(KnowledgeBase kb, PelletReasoner pellet, GraphLoader loader)
public PelletInfGraph(org.apache.jena.graph.Graph graph,
PelletReasoner pellet,
GraphLoader loader)
public GraphLoader attachTemporaryGraph(org.apache.jena.graph.Graph tempGraph)
public void detachTemporaryGraph(org.apache.jena.graph.Graph tempGraph,
GraphLoader savedLoader)
public org.apache.jena.util.iterator.ExtendedIterator<org.apache.jena.graph.Triple> find(org.apache.jena.graph.Node subject,
org.apache.jena.graph.Node property,
org.apache.jena.graph.Node object,
org.apache.jena.graph.Graph param)
find in interface org.apache.jena.reasoner.InfGraphfind in class org.apache.jena.reasoner.BaseInfGraphpublic org.apache.jena.util.iterator.ExtendedIterator<org.apache.jena.graph.Triple> findWithContinuation(org.apache.jena.reasoner.TriplePattern pattern,
org.apache.jena.reasoner.Finder finder)
findWithContinuation in class org.apache.jena.reasoner.BaseInfGraphpublic org.apache.jena.graph.Graph getSchemaGraph()
getSchemaGraph in class org.apache.jena.reasoner.BaseInfGraphpublic boolean isPrepared()
isPrepared in class org.apache.jena.reasoner.BaseInfGraphpublic void reload()
public void prepare()
prepare in interface org.apache.jena.reasoner.InfGraphprepare in class org.apache.jena.reasoner.BaseInfGraphpublic void prepare(boolean doConsistencyCheck)
public boolean isConsistent()
public boolean isClassified()
public boolean isRealized()
public void classify()
public void realize()
public org.apache.jena.graph.Graph getDeductionsGraph()
getDeductionsGraph in interface org.apache.jena.reasoner.InfGraphgetDeductionsGraph in class org.apache.jena.reasoner.BaseInfGraphprotected boolean graphBaseContains(org.apache.jena.graph.Triple pattern)
graphBaseContains in class org.apache.jena.graph.impl.GraphBasepublic boolean entails(org.apache.jena.graph.Triple pattern)
public org.apache.jena.rdf.model.Model explainInconsistency()
public org.apache.jena.rdf.model.Model explain(org.apache.jena.rdf.model.Statement stmt)
public org.apache.jena.rdf.model.Model explain(org.apache.jena.rdf.model.Resource s,
org.apache.jena.rdf.model.Property p,
org.apache.jena.rdf.model.RDFNode o)
public org.apache.jena.graph.Graph explain(org.apache.jena.graph.Triple pattern)
protected boolean containsTriple(org.apache.jena.graph.Triple pattern)
public KnowledgeBase getKB()
isPrepared() or use getPreparedKB().public KnowledgeBase getPreparedKB()
prepare().public void performAdd(org.apache.jena.graph.Triple t)
Add one triple to the data graph, mark the graph not-prepared, but don't run prepare() just yet.
performAdd in interface org.apache.jena.graph.impl.GraphWithPerformperformAdd in class org.apache.jena.reasoner.BaseInfGrapht - A triple to add to the graphpublic void performDelete(org.apache.jena.graph.Triple t)
Delete one triple from the data graph, mark the graph not-prepared, but don't run prepare() just yet.
performDelete in interface org.apache.jena.graph.impl.GraphWithPerformperformDelete in class org.apache.jena.reasoner.BaseInfGrapht - A triple to remove from the graphpublic org.apache.jena.reasoner.ValidityReport validate()
Test the consistency of the model. This looks for overall inconsistency, and for any unsatisfiable classes.
validate in interface org.apache.jena.reasoner.InfGraphvalidate in class org.apache.jena.reasoner.BaseInfGraphpublic void clear()
clear in interface org.apache.jena.graph.Graphclear in class org.apache.jena.reasoner.BaseInfGraphpublic void close()
close in interface org.apache.jena.graph.Graphclose in class org.apache.jena.reasoner.BaseInfGraphpublic void close(boolean recursive)
public GraphLoader getLoader()
public boolean isAutoDetectChanges()
public void setAutoDetectChanges(boolean autoDetectChanges)
public boolean isSkipBuiltinPredicates()
public void setSkipBuiltinPredicates(boolean skipBuiltinPredicates)
Copyright © 2019. All rights reserved.