org.semanticweb.owlapi.util

Class OWLOntologyImportsClosureSetProvider

java.lang.Object

org.semanticweb.owlapi.util.OWLOntologyImportsClosureSetProvider

All Implemented Interfaces:

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.

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 27-Apr-2007

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

Methods

Modifier and Type	Method and Description
Set<OWLOntology>	getOntologies()

Methods inherited from class java.lang.Object

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

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

getOntologies

public Set<OWLOntology> getOntologies()

Specified by:

getOntologies in interface OWLOntologySetProvider

Returns:

the set of ontologies held by the implementor