|
Class Summary |
| AlcomoOntology |
This abstract class represents an ontology used in the alcomo system. |
| AlcomoReasoner |
This abstract class represents a reasoner used in the alcomo system. |
| CompleteReasoner |
This class represents a complete reasoner for conflict detection in mappings. |
| ConflictPair |
A conflict pair is a conflict set of size 2 that can can be detected by incomplete
and effient reasoning. |
| EfficientReasoner |
This class represents a reasoner for efficient pairwise but incomplete conflict detection. |
| Entity |
|
| EntityFactory |
|
| IConcept |
|
| Interval |
An interval represents a sub branch of classes in an interval tree. |
| IOntology |
|
| LocalOntology |
This class represents a local possibly extended ontology. |
| MergedOntology |
This class represents an e(X)tendable ontology. |