org.mindswap.pellet.jena
Class PelletInfGraph
java.lang.Object
com.hp.hpl.jena.graph.impl.GraphBase
com.hp.hpl.jena.reasoner.BaseInfGraph
org.mindswap.pellet.jena.PelletInfGraph
- All Implemented Interfaces:
- com.hp.hpl.jena.graph.Graph, com.hp.hpl.jena.graph.GraphAdd, com.hp.hpl.jena.graph.impl.GraphWithPerform, com.hp.hpl.jena.reasoner.InfGraph
public class PelletInfGraph
- extends com.hp.hpl.jena.reasoner.BaseInfGraph
- implements com.hp.hpl.jena.reasoner.InfGraph
Implementation of Jena InfGraph interface which is backed by Pellet reasoner.
- Author:
- Evren Sirin
| Nested classes/interfaces inherited from class com.hp.hpl.jena.reasoner.BaseInfGraph |
com.hp.hpl.jena.reasoner.BaseInfGraph.InfCapabilities, com.hp.hpl.jena.reasoner.BaseInfGraph.InfFindSafeCapabilities, com.hp.hpl.jena.reasoner.BaseInfGraph.InfTransactionHandler |
|
Field Summary |
static java.util.logging.Logger |
log
|
| Fields inherited from interface com.hp.hpl.jena.graph.Graph |
emptyGraph |
| Methods inherited from class com.hp.hpl.jena.reasoner.BaseInfGraph |
cloneWithPremises, constructReifier, find, getBulkUpdateHandler, getCapabilities, getDerivation, getGlobalProperty, getPrefixMapping, getRawGraph, getReasoner, getTransactionHandler, getVersion, graphBaseFind, graphBaseFind, graphBaseSize, isEmpty, rebind, rebind, reset, setDerivationLogging, testGlobalProperty |
| Methods inherited from class com.hp.hpl.jena.graph.impl.GraphBase |
add, contains, contains, delete, dependsOn, find, find, forTestingOnly_graphBaseFind, getEventManager, getReifier, getStatisticsHandler, isClosed, isIsomorphicWith, notifyAdd, notifyDelete, queryHandler, size, toString, toString |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface com.hp.hpl.jena.reasoner.InfGraph |
getDerivation, getGlobalProperty, getRawGraph, getReasoner, rebind, rebind, reset, setDerivationLogging, testGlobalProperty |
| Methods inherited from interface com.hp.hpl.jena.graph.Graph |
contains, contains, delete, dependsOn, find, find, getBulkUpdateHandler, getCapabilities, getEventManager, getPrefixMapping, getReifier, getStatisticsHandler, getTransactionHandler, isClosed, isEmpty, isIsomorphicWith, queryHandler, size |
| Methods inherited from interface com.hp.hpl.jena.graph.GraphAdd |
add |
log
public static final java.util.logging.Logger log
PelletInfGraph
public PelletInfGraph(KnowledgeBase kb,
PelletReasoner pellet,
GraphLoader loader)
PelletInfGraph
public PelletInfGraph(com.hp.hpl.jena.graph.Graph graph,
PelletReasoner pellet,
GraphLoader loader)
attachTemporaryGraph
public GraphLoader attachTemporaryGraph(com.hp.hpl.jena.graph.Graph tempGraph)
detachTemporaryGraph
public void detachTemporaryGraph(com.hp.hpl.jena.graph.Graph tempGraph,
GraphLoader savedLoader)
find
public com.hp.hpl.jena.util.iterator.ExtendedIterator find(com.hp.hpl.jena.graph.Node subject,
com.hp.hpl.jena.graph.Node property,
com.hp.hpl.jena.graph.Node object,
com.hp.hpl.jena.graph.Graph param)
- Specified by:
find in interface com.hp.hpl.jena.reasoner.InfGraph- Overrides:
find in class com.hp.hpl.jena.reasoner.BaseInfGraph
findWithContinuation
public com.hp.hpl.jena.util.iterator.ExtendedIterator findWithContinuation(com.hp.hpl.jena.reasoner.TriplePattern pattern,
com.hp.hpl.jena.reasoner.Finder finder)
- Specified by:
findWithContinuation in class com.hp.hpl.jena.reasoner.BaseInfGraph
getSchemaGraph
public com.hp.hpl.jena.graph.Graph getSchemaGraph()
- Specified by:
getSchemaGraph in class com.hp.hpl.jena.reasoner.BaseInfGraph
isPrepared
public boolean isPrepared()
- Overrides:
isPrepared in class com.hp.hpl.jena.reasoner.BaseInfGraph
prepare
public void prepare()
- Specified by:
prepare in interface com.hp.hpl.jena.reasoner.InfGraph- Overrides:
prepare in class com.hp.hpl.jena.reasoner.BaseInfGraph
prepare
public void prepare(boolean doConsistencyCheck)
isConsistent
public boolean isConsistent()
isClassified
public boolean isClassified()
isRealized
public boolean isRealized()
classify
public void classify()
realize
public void realize()
getDeductionsGraph
public com.hp.hpl.jena.graph.Graph getDeductionsGraph()
- Specified by:
getDeductionsGraph in interface com.hp.hpl.jena.reasoner.InfGraph- Overrides:
getDeductionsGraph in class com.hp.hpl.jena.reasoner.BaseInfGraph
entails
public boolean entails(com.hp.hpl.jena.graph.Triple pattern)
getKB
public KnowledgeBase getKB()
- Returns the underlying Pellet KnowledgeBase. Before calling this function
make sure the graph isPrepared().
performAdd
public void performAdd(com.hp.hpl.jena.graph.Triple t)
Add one triple to the data graph, mark the graph not-prepared, but don't
run prepare() just yet.
- Specified by:
performAdd in interface com.hp.hpl.jena.graph.impl.GraphWithPerform- Overrides:
performAdd in class com.hp.hpl.jena.reasoner.BaseInfGraph
- Parameters:
t - A triple to add to the graph
performDelete
public void performDelete(com.hp.hpl.jena.graph.Triple t)
Delete one triple from the data graph, mark the graph not-prepared, but
don't run prepare() just yet.
- Specified by:
performDelete in interface com.hp.hpl.jena.graph.impl.GraphWithPerform- Overrides:
performDelete in class com.hp.hpl.jena.reasoner.BaseInfGraph
- Parameters:
t - A triple to remove from the graph
validate
public com.hp.hpl.jena.reasoner.ValidityReport validate()
Test the consistency of the model. This looks for overall inconsistency,
and for any unsatisfiable classes.
- Specified by:
validate in interface com.hp.hpl.jena.reasoner.InfGraph- Overrides:
validate in class com.hp.hpl.jena.reasoner.BaseInfGraph
- Returns:
- a ValidityReport structure
close
public void close()
- Specified by:
close in interface com.hp.hpl.jena.graph.Graph- Overrides:
close in class com.hp.hpl.jena.reasoner.BaseInfGraph
getLoader
public GraphLoader getLoader()
- Returns:
- the loader
isAutoDetectChanges
public boolean isAutoDetectChanges()
setAutoDetectChanges
public void setAutoDetectChanges(boolean autoDetectChanges)
Copyright © 2004 Evren Sirin. All Rights Reserved.