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 Class Summary

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

Fields

Modifier and Type	Field and Description
protected KnowledgeBase	kb
static Logger	log

Fields inherited from class com.hp.hpl.jena.reasoner.BaseInfGraph

fdata, isPrepared, reasoner, recordDerivations, version

Fields inherited from class com.hp.hpl.jena.graph.impl.GraphBase

bulkHandler, capabilities, closed, gem, pm, queryHandler, reifier, statisticsHandler, style, TOSTRING_TRIPLE_BASE, TOSTRING_TRIPLE_LIMIT

Fields inherited from interface com.hp.hpl.jena.graph.Graph

emptyGraph

Constructor Summary

Constructors

Constructor and Description
PelletInfGraph(com.hp.hpl.jena.graph.Graph graph, PelletReasoner pellet, GraphLoader loader)
PelletInfGraph(KnowledgeBase kb, PelletReasoner pellet, GraphLoader loader)

Method Summary

Methods

Modifier and Type	Method and Description
GraphLoader	attachTemporaryGraph(com.hp.hpl.jena.graph.Graph tempGraph)
void	classify()
void	close()
void	close(boolean recursive)
protected boolean	containsTriple(com.hp.hpl.jena.graph.Triple pattern)
void	detachTemporaryGraph(com.hp.hpl.jena.graph.Graph tempGraph, GraphLoader savedLoader)
boolean	entails(com.hp.hpl.jena.graph.Triple pattern)
com.hp.hpl.jena.rdf.model.Model	explain(com.hp.hpl.jena.rdf.model.Resource s, com.hp.hpl.jena.rdf.model.Property p, com.hp.hpl.jena.rdf.model.RDFNode o)
com.hp.hpl.jena.rdf.model.Model	explain(com.hp.hpl.jena.rdf.model.Statement stmt)
com.hp.hpl.jena.graph.Graph	explain(com.hp.hpl.jena.graph.Triple pattern)
com.hp.hpl.jena.rdf.model.Model	explainInconsistency()
com.hp.hpl.jena.util.iterator.ExtendedIterator<com.hp.hpl.jena.graph.Triple>	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)
com.hp.hpl.jena.util.iterator.ExtendedIterator<com.hp.hpl.jena.graph.Triple>	findWithContinuation(com.hp.hpl.jena.reasoner.TriplePattern pattern, com.hp.hpl.jena.reasoner.Finder finder)
com.hp.hpl.jena.graph.Graph	getDeductionsGraph()
KnowledgeBase	getKB() Returns the underlying Pellet KnowledgeBase.
GraphLoader	getLoader()
KnowledgeBase	getPreparedKB() Returns the underlying Pellet KnowledgeBase after calling prepare().
com.hp.hpl.jena.graph.Graph	getSchemaGraph()
protected boolean	graphBaseContains(com.hp.hpl.jena.graph.Triple pattern)
boolean	isAutoDetectChanges()
boolean	isClassified()
boolean	isConsistent()
boolean	isPrepared()
boolean	isRealized()
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.
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.
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)
com.hp.hpl.jena.reasoner.ValidityReport	validate() Test the consistency of the model.

Methods inherited from class com.hp.hpl.jena.reasoner.BaseInfGraph

cloneWithPremises, constructReifier, discardState, 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, checkOpen, contains, contains, containsByFind, createStatisticsHandler, delete, dependsOn, find, find, forTestingOnly_graphBaseFind, getEventManager, getReifier, getStatisticsHandler, isClosed, isIsomorphicWith, notifyAdd, notifyDelete, queryHandler, reifierContains, reifierSize, reifierTriples, size, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

Field Detail

log

public static final Logger log

kb

protected KnowledgeBase kb

Constructor Detail

PelletInfGraph

public PelletInfGraph(KnowledgeBase kb,
              PelletReasoner pellet,
              GraphLoader loader)

PelletInfGraph

public PelletInfGraph(com.hp.hpl.jena.graph.Graph graph,
              PelletReasoner pellet,
              GraphLoader loader)

Method Detail

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<com.hp.hpl.jena.graph.Triple> 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<com.hp.hpl.jena.graph.Triple> 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

reload

public void reload()

Reloads all the triple from the underlying models regardless of updates or current state. KB will be cleared completely and recreated from scratch.

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

graphBaseContains

protected boolean graphBaseContains(com.hp.hpl.jena.graph.Triple pattern)

Overrides:

graphBaseContains in class com.hp.hpl.jena.graph.impl.GraphBase

entails

public boolean entails(com.hp.hpl.jena.graph.Triple pattern)

explainInconsistency

public com.hp.hpl.jena.rdf.model.Model explainInconsistency()

explain

public com.hp.hpl.jena.rdf.model.Model explain(com.hp.hpl.jena.rdf.model.Statement stmt)

explain

public com.hp.hpl.jena.rdf.model.Model explain(com.hp.hpl.jena.rdf.model.Resource s,
                                      com.hp.hpl.jena.rdf.model.Property p,
                                      com.hp.hpl.jena.rdf.model.RDFNode o)

explain

public com.hp.hpl.jena.graph.Graph explain(com.hp.hpl.jena.graph.Triple pattern)

containsTriple

protected boolean containsTriple(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() or use getPreparedKB().

getPreparedKB

public KnowledgeBase getPreparedKB()

Returns the underlying Pellet KnowledgeBase after calling prepare().

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

close

public void close(boolean recursive)

getLoader

public GraphLoader getLoader()

Returns:

the loader

isAutoDetectChanges

public boolean isAutoDetectChanges()

setAutoDetectChanges

public void setAutoDetectChanges(boolean autoDetectChanges)