edu.cornell.mannlib.vitro.webapp.tboxreasoner

Interface TBoxReasoner

All Known Implementing Classes:

JFactTBoxReasoner

public interface TBoxReasoner

The functionality of a TBox reasoner. The reasoner will maintain its own TBox model. It will receive updates to that model and perform reasoning on it. It will answer queries about the contents of the model, when reasoning is complete.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	TBoxReasoner.Status

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.

Method Detail

updateReasonerModel

void updateReasonerModel(TBoxChanges changes)

Add the additions and remove the removals.

performReasoning

TBoxReasoner.Status performReasoning()

Chew on it and create the inferences. Report status.

listObjectProperties

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

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

listDatatypeProperties

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

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

listRestrictions

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

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

filterResults

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.