Package de.dfleischhacker.uni.thesis.semantic

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.