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 |
---|---|
Stream<OWLOntology> |
ontologies() |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
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 Stream<OWLOntology> ontologies()
ontologies
in interface HasGetOntologies
Copyright © 2020 The University of Manchester. All rights reserved.