Package de.unima.alcomox.ontology

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.
Interval An interval represents a sub branch of classes in an interval tree.
LocalOntology This class represents a local possibly extended ontology.
MergedOntology This class represents an e(X)tendable ontology.