public class OWLOntologyImportsClosureSetProvider extends Object implements OWLOntologySetProvider
OWLOntologySetProvider
which provides a set of ontologies which
correspond to the imports closure of a given ontology. Note that the set of
provided ontologies will be updated if the imports closure gets updated.Constructor and Description |
---|
OWLOntologyImportsClosureSetProvider(OWLOntologyManager manager,
OWLOntology rootOntology)
Constructs an
OWLOntologySetProvider which provides a set
containing the imports closure of a given ontology. |
Modifier and Type | Method and Description |
---|---|
Set<OWLOntology> |
getOntologies()
Gets the (possibly empty) set of
OWLOntology objects contained within
this object. |
public OWLOntologyImportsClosureSetProvider(OWLOntologyManager manager, OWLOntology rootOntology)
OWLOntologySetProvider
which provides a set
containing the imports closure of a given ontology.manager
- The manager which should be used to determine the imports closure.rootOntology
- The ontology which is the "root" of the imports closure.public Set<OWLOntology> getOntologies()
HasGetOntologies
OWLOntology
objects contained within
this object.getOntologies
in interface HasGetOntologies
null
.Copyright © 2017 The University of Manchester. All Rights Reserved.