org.mindswap.pellet.jena

Class PelletInfGraph

java.lang.Object

org.apache.jena.graph.impl.GraphBase

org.apache.jena.reasoner.BaseInfGraph

org.mindswap.pellet.jena.PelletInfGraph

All Implemented Interfaces:

org.apache.jena.graph.Graph, org.apache.jena.graph.impl.GraphWithPerform, org.apache.jena.reasoner.InfGraph

public class PelletInfGraph
extends org.apache.jena.reasoner.BaseInfGraph
implements org.apache.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 org.apache.jena.reasoner.BaseInfGraph

org.apache.jena.reasoner.BaseInfGraph.InfCapabilities, org.apache.jena.reasoner.BaseInfGraph.InfFindSafeCapabilities, org.apache.jena.reasoner.BaseInfGraph.InfTransactionHandler

Field Summary

Fields

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

Fields inherited from class org.apache.jena.reasoner.BaseInfGraph

fdata, reasoner, recordDerivations, version

Fields inherited from class org.apache.jena.graph.impl.GraphBase

capabilities, closed, gem, pm, statisticsHandler, TOSTRING_TRIPLE_BASE, TOSTRING_TRIPLE_LIMIT

Fields inherited from interface org.apache.jena.graph.Graph

emptyGraph

Constructor Summary

Constructors

Constructor and Description
PelletInfGraph(org.apache.jena.graph.Graph graph, PelletReasoner pellet, GraphLoader loader)
PelletInfGraph(KnowledgeBase kb, PelletReasoner pellet, GraphLoader loader)

Method Summary

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.

Methods inherited from class org.apache.jena.reasoner.BaseInfGraph

cloneWithPremises, discardState, find, getCapabilities, getDerivation, getGlobalProperty, getPrefixMapping, getRawGraph, getReasoner, getTransactionHandler, getVersion, graphBaseFind, graphBaseFind, graphBaseSize, isEmpty, rebind, rebind, remove, requirePrepared, reset, setDerivationLogging, setPreparedState, testGlobalProperty

Methods inherited from class org.apache.jena.graph.impl.GraphBase

add, checkOpen, contains, contains, containsByFind, createPrefixMapping, createStatisticsHandler, delete, dependsOn, find, find, forTestingOnly_graphBaseFind, getEventManager, getStatisticsHandler, isClosed, isIsomorphicWith, notifyAdd, notifyDelete, size, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.apache.jena.reasoner.InfGraph

getDerivation, getGlobalProperty, getRawGraph, getReasoner, rebind, rebind, reset, setDerivationLogging, testGlobalProperty

Methods inherited from interface org.apache.jena.graph.Graph

add, contains, contains, delete, dependsOn, find, find, find, getCapabilities, getEventManager, getPrefixMapping, getStatisticsHandler, getTransactionHandler, isClosed, isEmpty, isIsomorphicWith, remove, size

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(org.apache.jena.graph.Graph graph,
                      PelletReasoner pellet,
                      GraphLoader loader)

Method Detail

attachTemporaryGraph

public GraphLoader attachTemporaryGraph(org.apache.jena.graph.Graph tempGraph)

detachTemporaryGraph

public void detachTemporaryGraph(org.apache.jena.graph.Graph tempGraph,
                                 GraphLoader savedLoader)

find

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)

Specified by:

find in interface org.apache.jena.reasoner.InfGraph

Overrides:

find in class org.apache.jena.reasoner.BaseInfGraph

findWithContinuation

public org.apache.jena.util.iterator.ExtendedIterator<org.apache.jena.graph.Triple> findWithContinuation(org.apache.jena.reasoner.TriplePattern pattern,
                                                                                                         org.apache.jena.reasoner.Finder finder)

Specified by:

findWithContinuation in class org.apache.jena.reasoner.BaseInfGraph

getSchemaGraph

public org.apache.jena.graph.Graph getSchemaGraph()

Specified by:

getSchemaGraph in class org.apache.jena.reasoner.BaseInfGraph

isPrepared

public boolean isPrepared()

Overrides:

isPrepared in class org.apache.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 org.apache.jena.reasoner.InfGraph

Overrides:

prepare in class org.apache.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 org.apache.jena.graph.Graph getDeductionsGraph()

Specified by:

getDeductionsGraph in interface org.apache.jena.reasoner.InfGraph

Overrides:

getDeductionsGraph in class org.apache.jena.reasoner.BaseInfGraph

graphBaseContains

protected boolean graphBaseContains(org.apache.jena.graph.Triple pattern)

Overrides:

graphBaseContains in class org.apache.jena.graph.impl.GraphBase

entails

public boolean entails(org.apache.jena.graph.Triple pattern)

explainInconsistency

public org.apache.jena.rdf.model.Model explainInconsistency()

explain

public org.apache.jena.rdf.model.Model explain(org.apache.jena.rdf.model.Statement stmt)

explain

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)

explain

public org.apache.jena.graph.Graph explain(org.apache.jena.graph.Triple pattern)

containsTriple

protected boolean containsTriple(org.apache.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(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.

Specified by:

performAdd in interface org.apache.jena.graph.impl.GraphWithPerform

Overrides:

performAdd in class org.apache.jena.reasoner.BaseInfGraph

Parameters:

t - A triple to add to the graph

performDelete

public 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.

Specified by:

performDelete in interface org.apache.jena.graph.impl.GraphWithPerform

Overrides:

performDelete in class org.apache.jena.reasoner.BaseInfGraph

Parameters:

t - A triple to remove from the graph

validate

public org.apache.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 org.apache.jena.reasoner.InfGraph

Overrides:

validate in class org.apache.jena.reasoner.BaseInfGraph

Returns:

a ValidityReport structure

clear

public void clear()

Specified by:

clear in interface org.apache.jena.graph.Graph

Overrides:

clear in class org.apache.jena.reasoner.BaseInfGraph

close

public void close()

Specified by:

close in interface org.apache.jena.graph.Graph

Overrides:

close in class org.apache.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)

Sets auto detection of changes in the subgraphs associated with this model. If a graph or subgraph associated with this inference graph is updated out of band there is no way to know for the reasoner that the underlying data has changed and reasoning results will be stale. When this option is turned Pellet will attach listeners to all the subgraphs and will be notified of all changes. It will also detect addition and removal of new subgraphs.

isSkipBuiltinPredicates

public boolean isSkipBuiltinPredicates()

setSkipBuiltinPredicates

public void setSkipBuiltinPredicates(boolean skipBuiltinPredicates)