public final class SemanticLocalityModuleExtractor extends LocalityModuleExtractor
Constructor and Description |
---|
SemanticLocalityModuleExtractor(LocalityClass localityClass,
Stream<OWLAxiom> axiomBase,
OWLOntologyManager ontologyManager,
OWLReasonerFactory reasonerFactory)
Instantiates a new
SemanticLocalityEvaluator . |
axiomBase, containsAxiom, extract, getLocalityClass
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
everyModuleContains, extract, extract, extractAsOntology, globals, noModuleContains, tautologies
public SemanticLocalityModuleExtractor(LocalityClass localityClass, Stream<OWLAxiom> axiomBase, OWLOntologyManager ontologyManager, OWLReasonerFactory reasonerFactory)
SemanticLocalityEvaluator
.localityClass
- The LocalityClass
to useaxiomBase
- The axiom base of the new SemanticLocalityModuleExtractor
ontologyManager
- The manager that should be used to instantiate an OWLReasoner
reasonerFactory
- The factory that should be used to instantiate an OWLReasoner
Copyright © 2020 The University of Manchester. All rights reserved.