TBoxReasoner (Vitro API 1.15.0 API)

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 Description

static class TBoxReasoner.Status

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`List<org.apache.jena.rdf.model.Statement>`	`filterResults(List<ReasonerStatementPattern> patternList)`	List all of the statements that satisfy any of these patterns, after updating and reasoning.
`List<org.apache.jena.ontology.DatatypeProperty>`	`listDatatypeProperties()`	List all of the DatatypeProperties from the reasoner model, after updating and reasoning.
`List<org.apache.jena.ontology.ObjectProperty>`	`listObjectProperties()`	List all of the ObjectProperties from the reasoner model, after updating and reasoning.
`List<org.apache.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<org.apache.jena.ontology.ObjectProperty> listObjectProperties()
```
    List all of the ObjectProperties from the reasoner model, after updating and reasoning.
  - listDatatypeProperties
```
List<org.apache.jena.ontology.DatatypeProperty> listDatatypeProperties()
```
    List all of the DatatypeProperties from the reasoner model, after updating and reasoning.
  - listRestrictions
```
List<org.apache.jena.ontology.Restriction> listRestrictions()
```
    List all of the restrictions in the reasoner model, after updating and reasoning.
  - filterResults
```
List<org.apache.jena.rdf.model.Statement> filterResults(List<ReasonerStatementPattern> patternList)
```
    List all of the statements that satisfy any of these patterns, after updating and reasoning.