|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
SemanticFactory | This defines the interface of the semantic factory used to create instances of specific semantics. |
SemanticModule | This defines the interface for modules implementing new semantics. |
Class Summary | |
---|---|
ClosureResult | This class is used to export the data generated internally in the semantic modules to the caller. |
SemanticManager | Provides methods to get semantic modules and contains a list of available modules as well as factory methods to create those semantic modules. |
Exception Summary | |
---|---|
EntailmentCheckException | This exception is thrown if an error occurs while trying to check if an axiom is entailed by an ontology. |
UnsupportedCorrespondenceException | This exception is thrown if an alignment contains an unsupported correspondence. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |