| Constructor and Description |
|---|
| uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor(OWLOntologyManager, OWLOntology, Set<OWLAxiom>, ModuleType)
use the constructor that takes an IRI rather than an ontology as second argument.
The second argument is used only in logging assertions and can be null.
|
Copyright © 2022 The University of Manchester. All rights reserved.