Package 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	Description
TBoxReasonerStatus	getStatus()	What is the TBox reasoner doing now?
List<org.apache.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<org.apache.jena.ontology.Restriction> listRestrictions()

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

waitForTBoxReasoning

void waitForTBoxReasoning()

Wait until the TBox reasoner becomes quiet.