edu.cornell.mannlib.vitro.webapp.modules.tboxreasoner

Interface TBoxReasonerModule

All Superinterfaces:

Application.Component, Application.Module

All Known Implementing Classes:

JFactTBoxReasonerModule

public interface TBoxReasonerModule
extends Application.Module

A wrapper around the TBox reasoner

Nested Class Summary

Nested classes/interfaces inherited from interface edu.cornell.mannlib.vitro.webapp.modules.Application.Component

Application.Component.LifecycleState

Method Summary

Modifier and Type	Method and Description
TBoxReasonerStatus	getStatus() What is the TBox reasoner doing now?
List<com.hp.hpl.jena.ontology.Restriction>	listRestrictions() What restrictions are currently in the reasoner's internal model?
void	waitForTBoxReasoning() Wait until the TBox reasoner becomes quiet.

Methods inherited from interface edu.cornell.mannlib.vitro.webapp.modules.Application.Component

shutdown, startup

Method Detail

getStatus

TBoxReasonerStatus getStatus()

What is the TBox reasoner doing now?

listRestrictions

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

What restrictions are currently in the reasoner's internal model?

waitForTBoxReasoning

void waitForTBoxReasoning()

Wait until the TBox reasoner becomes quiet.