org.semanticweb.owl.modularity
Interface OntologySegment

All Known Implementing Classes:
SyntacticLocalityModule

public interface OntologySegment

An interface for any class implementing a segment or module of an ontology.

Author:
Thomas Schneider, School of Computer Science, University of Manchester

Method Summary
 OWLOntology asOWLOntology(java.net.URI uri)
          Returns this segment as a new ontology.
 java.util.Set<OWLAxiom> getAxioms()
          Returns the set of axioms that this segment consists of.
 java.util.Set<OWLAxiom> getLogicalAxioms()
          Returns the set of logical axioms in this segment.
 java.util.Set<OWLAxiom> getNonLogicalAxioms()
          Returns the set of non-logical axioms in this segment.
 java.util.Set<OWLEntity> getSeedSignature()
          Returns the signature (set of entities) for which this segment has been extracted.
 java.util.Set<OWLEntity> getSignature()
          Returns the signature of this segment, i.e. the set of entities that occur in it.
 

Method Detail

getAxioms

java.util.Set<OWLAxiom> getAxioms()
Returns the set of axioms that this segment consists of.

Returns:
the segment as a set of axioms

getLogicalAxioms

java.util.Set<OWLAxiom> getLogicalAxioms()
Returns the set of logical axioms in this segment.

Returns:
all logical axioms in this segment

getNonLogicalAxioms

java.util.Set<OWLAxiom> getNonLogicalAxioms()
Returns the set of non-logical axioms in this segment.

Returns:
all non-logical axioms in this segment

getSeedSignature

java.util.Set<OWLEntity> getSeedSignature()
Returns the signature (set of entities) for which this segment has been extracted.

Returns:
the seed signature as a set of entities

getSignature

java.util.Set<OWLEntity> getSignature()
Returns the signature of this segment, i.e. the set of entities that occur in it.

Returns:
the signature as a set of entities

asOWLOntology

OWLOntology asOWLOntology(java.net.URI uri)
                          throws OWLOntologyCreationException,
                                 OWLOntologyChangeException
Returns this segment as a new ontology.

Parameters:
uri - the URI for the new ontology
Returns:
the new ontology, having the specified URI
Throws:
OWLOntologyCreationException - if the new ontology cannot be created
OWLOntologyChangeException - if adding axioms to the new ontology fails