Package edu.cornell.mannlib.vitro.webapp.reasoner

Class ABoxRecomputer

java.lang.Object

edu.cornell.mannlib.vitro.webapp.reasoner.ABoxRecomputer

public class ABoxRecomputer
extends Object

Constructor Summary

Constructors

Constructor	Description
ABoxRecomputer(org.apache.jena.ontology.OntModel tboxModel, org.apache.jena.ontology.OntModel aboxModel, RDFService rdfService, SimpleReasoner simpleReasoner, SearchIndexer searchIndexer)

Method Summary

Modifier and Type	Method	Description
protected void	addInferenceStatementsFor(String individualUri, org.apache.jena.rdf.model.Model addTo)
protected Queue<String>	getAllIndividualURIs()
protected void	getIndividualURIs(String queryString, Queue<String> individuals)
Set<String>	getSameAsIndividuals(String individualURI)
boolean	isRecomputing()	Returns true if the recomputer is in the process of recomputing all inferences.
void	recompute()	Recompute all individuals
void	recompute(Queue<String> individualURIs)	Recompute inferences for specified collection of individual URIs, or all URIs if parameter is null
protected void	recomputeIndividuals(Queue<String> individuals, edu.cornell.mannlib.vitro.webapp.reasoner.ABoxRecomputer.TypeCaches caches)
void	setStopRequested()	This is called when the application shuts down.
protected void	updateInferenceModel(org.apache.jena.rdf.model.Model rebuildModel, Collection<String> individuals)

Methods inherited from class java.lang.Object

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

Constructor Detail

ABoxRecomputer

public ABoxRecomputer(org.apache.jena.ontology.OntModel tboxModel,
                      org.apache.jena.ontology.OntModel aboxModel,
                      RDFService rdfService,
                      SimpleReasoner simpleReasoner,
                      SearchIndexer searchIndexer)

Parameters:

tboxModel - - input. This model contains both asserted and inferred TBox axioms

aboxModel - - input. This model contains asserted ABox statements

Method Detail

isRecomputing

public boolean isRecomputing()

Returns true if the recomputer is in the process of recomputing all inferences.

recompute

public void recompute()

Recompute all individuals

recompute

public void recompute(Queue<String> individualURIs)

Recompute inferences for specified collection of individual URIs, or all URIs if parameter is null

recomputeIndividuals

protected void recomputeIndividuals(Queue<String> individuals,
                                    edu.cornell.mannlib.vitro.webapp.reasoner.ABoxRecomputer.TypeCaches caches)

getAllIndividualURIs

protected Queue<String> getAllIndividualURIs()

getIndividualURIs

protected void getIndividualURIs(String queryString,
                                 Queue<String> individuals)

addInferenceStatementsFor

protected void addInferenceStatementsFor(String individualUri,
                                         org.apache.jena.rdf.model.Model addTo)
                                  throws RDFServiceException

Throws:

RDFServiceException

updateInferenceModel

protected void updateInferenceModel(org.apache.jena.rdf.model.Model rebuildModel,
                                    Collection<String> individuals)
                             throws RDFServiceException

Throws:

RDFServiceException

getSameAsIndividuals

public Set<String> getSameAsIndividuals(String individualURI)

setStopRequested

public void setStopRequested()

This is called when the application shuts down.