See: Description
Interface | Description |
---|---|
Processor |
An object implementing this interface can classify a set of axioms.
|
Exception | Description |
---|---|
UnclassifiedOntologyException |
This exception is thrown when accessing a data structure given by the
processor before classification.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.