public class OWLOntologyImportsClosureSetProvider extends java.lang.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 |
---|---|
java.util.Set<OWLOntology> |
getOntologies() |
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 java.util.Set<OWLOntology> getOntologies()
getOntologies
in interface OWLOntologySetProvider