org.semanticweb.owlapi.util
Class OWLOntologyImportsClosureSetProvider

java.lang.Object
  org.semanticweb.owlapi.util.OWLOntologyImportsClosureSetProvider

All Implemented Interfaces:

OWLOntologySetProvider

public class OWLOntologyImportsClosureSetProvider
extends java.lang.Object
implements OWLOntologySetProvider

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

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.

Constructor Summary

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

Method Summary

java.util.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 java.util.Set<OWLOntology> getOntologies()

Specified by:

getOntologies in interface OWLOntologySetProvider