edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl.jfact

Class JFactTBoxReasoner

java.lang.Object

edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl.jfact.JFactTBoxReasoner

All Implemented Interfaces:

TBoxReasoner

public class JFactTBoxReasoner
extends Object
implements TBoxReasoner

An implementation of the JFact reasoner for the TBox. It maintains a model of all the assertions it has been given, adding or removing statements as change sets are received. Each time a change is received, it will create a fresh ontology from the assertions model, and apply a reasoner to that ontology. A model of inferences is built by querying the reasoner. The assertions and inferences are combined into an OntModel, which is kept to answer queries. ----------------- This class it not thread-safe.

Nested Class Summary

Nested classes/interfaces inherited from interface edu.cornell.mannlib.vitro.webapp.tboxreasoner.TBoxReasoner

TBoxReasoner.Status

Constructor Summary

Constructors

Constructor and Description
JFactTBoxReasoner()

Method Summary

Modifier and Type	Method and Description
List<com.hp.hpl.jena.rdf.model.Statement>	filterResults(List<ReasonerStatementPattern> patternList) List all of the statements that satisfy any of these patterns, after updating and reasoning.
List<com.hp.hpl.jena.ontology.DatatypeProperty>	listDatatypeProperties() List all of the DatatypeProperties from the reasoner model, after updating and reasoning.
List<com.hp.hpl.jena.ontology.ObjectProperty>	listObjectProperties() List all of the ObjectProperties from the reasoner model, after updating and reasoning.
List<com.hp.hpl.jena.ontology.Restriction>	listRestrictions() List all of the restrictions in the reasoner model, after updating and reasoning.
TBoxReasoner.Status	performReasoning() Chew on it and create the inferences.
void	updateReasonerModel(TBoxChanges changes) Add the additions and remove the removals.

Methods inherited from class java.lang.Object

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

Constructor Detail

JFactTBoxReasoner

public JFactTBoxReasoner()

Method Detail

updateReasonerModel

public void updateReasonerModel(TBoxChanges changes)

Description copied from interface: TBoxReasoner

Add the additions and remove the removals.

Specified by:

updateReasonerModel in interface TBoxReasoner

performReasoning

public TBoxReasoner.Status performReasoning()

Description copied from interface: TBoxReasoner

Chew on it and create the inferences. Report status.

Specified by:

performReasoning in interface TBoxReasoner

listObjectProperties

public List<com.hp.hpl.jena.ontology.ObjectProperty> listObjectProperties()

Description copied from interface: TBoxReasoner

List all of the ObjectProperties from the reasoner model, after updating and reasoning.

Specified by:

listObjectProperties in interface TBoxReasoner

listDatatypeProperties

public List<com.hp.hpl.jena.ontology.DatatypeProperty> listDatatypeProperties()

Description copied from interface: TBoxReasoner

List all of the DatatypeProperties from the reasoner model, after updating and reasoning.

Specified by:

listDatatypeProperties in interface TBoxReasoner

listRestrictions

public List<com.hp.hpl.jena.ontology.Restriction> listRestrictions()

Description copied from interface: TBoxReasoner

List all of the restrictions in the reasoner model, after updating and reasoning.

Specified by:

listRestrictions in interface TBoxReasoner

filterResults

public List<com.hp.hpl.jena.rdf.model.Statement> filterResults(List<ReasonerStatementPattern> patternList)

Description copied from interface: TBoxReasoner

List all of the statements that satisfy any of these patterns, after updating and reasoning.

Specified by:

filterResults in interface TBoxReasoner