| Constructor and Description |
|---|
| uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor(OWLOntologyManager, OWLOntology, Set<OWLAxiom>, ModuleType)
use the contructor 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 © 2016 The University of Manchester. All Rights Reserved.