| Interface | Description |
|---|---|
| TBoxReasoner |
The functionality of a TBox reasoner.
|
| TBoxReasonerDriver |
What calls can the ConfiguredReasonerListener make to drive the TBox
reasoner?
|
| Class | Description |
|---|---|
| ConfiguredReasonerListener |
Listens for changes on a model.
|
| InferenceModelUpdater |
A tool that will adjust the inferences model to match the reasoner model,
after applying the proper filters to both.
|
| PatternListBuilder |
The list of patterns for filtering the models will include:
All patterns specified by the ReasonerConfiguration,
One pattern for each deleted property, to match the use of that property as a
predicate.
|
| ReasonerConfiguration | |
| ReasonerStatementPattern |
For now, this only models Object Properties.
|
| TBoxChanges |
Accumulate changes to the TBox as they arrive.
|
| TBoxReasoner.Status |
Copyright © 2016. All rights reserved.