Uses of Class
de.unima.alcomox.ontology.EfficientReasoner

Packages that use EfficientReasoner

de.unima.alcomox.algorithms

Uses of EfficientReasoner in de.unima.alcomox.algorithms

Constructors in de.unima.alcomox.algorithms with parameters of type EfficientReasoner

ConflictStore(EfficientReasoner reasoner, Mapping mapping)
Construct a conflict store where some conflicts are precomputed due to efficient reasoning.