org.semanticweb.owlapi.util

Class OWLOntologyImportsClosureSetProvider

java.lang.Object

org.semanticweb.owlapi.util.OWLOntologyImportsClosureSetProvider

All Implemented Interfaces:

Serializable, HasGetOntologies, OWLOntologySetProvider

public class OWLOntologyImportsClosureSetProvider
extends Object
implements OWLOntologySetProvider

An 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.

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLOntologyImportsClosureSetProvider(OWLOntologyManager manager, OWLOntology rootOntology) Constructs an OWLOntologySetProvider which provides a set containing the imports closure of a given ontology.

Method Summary

Modifier and Type	Method and Description
Stream<OWLOntology>	ontologies()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.HasGetOntologies

getOntologies

Constructor Detail

OWLOntologyImportsClosureSetProvider

public OWLOntologyImportsClosureSetProvider(OWLOntologyManager manager,
                                            OWLOntology rootOntology)

Constructs an OWLOntologySetProvider which provides a set containing the imports closure of a given ontology.

Parameters:

manager - The manager which should be used to determine the imports closure.

rootOntology - The ontology which is the "root" of the imports closure.

Method Detail

ontologies

public Stream<OWLOntology> ontologies()

Specified by:

ontologies in interface HasGetOntologies

Returns:

stream of ontologies contained within this object