public class SyntacticLocalityModuleExtractor extends LocalityModuleExtractor
Constructor and Description |
---|
SyntacticLocalityModuleExtractor(LocalityClass localityClass,
Stream<OWLAxiom> axiomBase)
Instantiates a new
SyntacticLocalityModuleExtractor . |
axiomBase, containsAxiom, extract, getLocalityClass
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
everyModuleContains, extract, extract, extractAsOntology, globals, noModuleContains, tautologies
public SyntacticLocalityModuleExtractor(LocalityClass localityClass, Stream<OWLAxiom> axiomBase)
SyntacticLocalityModuleExtractor
.localityClass
- The LocalityClass
to useaxiomBase
- The axiom base of the new SyntacticLocalityModuleExtractor
Copyright © 2020 The University of Manchester. All rights reserved.