uk.ac.manchester.cs.owl.modularity
Class SyntacticLocalityModule

java.lang.Object
  extended by uk.ac.manchester.cs.owl.modularity.SyntacticLocalityModule
All Implemented Interfaces:
OntologySegment

public class SyntacticLocalityModule
extends java.lang.Object
implements OntologySegment

Implementation of modules based on syntactic locality.

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

Field Summary
protected  SyntacticLocalityModuleExtractor associatedExtractor
           
protected  boolean[] axiomArray
           
protected  java.util.Set<OWLAxiom> axioms
           
protected  OWLOntology baseOntology
           
protected  OWLOntologyManager baseOntologyManager
           
protected  java.util.Set<OWLAxiom> logicalAxioms
           
protected  java.util.Set<OWLEntity> moduleSignature
           
protected  ModuleType moduleType
           
protected  java.util.Set<OWLAxiom> nonLogicalAxioms
           
protected  java.util.Set<OWLEntity> seedSignature
           
 
Constructor Summary
SyntacticLocalityModule(SyntacticLocalityModuleExtractor extractor, java.util.Set<OWLAxiom> logicalAxioms, java.util.Set<OWLAxiom> nonLogicalAxioms, boolean[] modArray, java.util.Set<OWLEntity> seedSignature, java.util.Set<OWLEntity> moduleSignature)
          Creates a new module that consists of the specified set of axioms and the array of Booleans.
 
Method Summary
 OWLOntology asOWLOntology(java.net.URI uri)
          Returns this module as a new ontology.
 java.util.Set<OWLAxiom> getAxioms()
          Returns the set of axioms that this module consists of.
 java.util.Set<OWLAxiom> getLogicalAxioms()
          Returns the set of logical axioms in this module.
 java.util.Set<OWLEntity> getModuleSignature()
          Returns the signature of this module, i.e. the set of entities that occur in it.
 java.util.Set<OWLAxiom> getNonLogicalAxioms()
          Returns the set of non-logical axioms in this module.
 java.util.Set<OWLEntity> getSeedSignature()
          Returns the signature (set of entities) for which this module has been extracted.
 java.util.Set<OWLEntity> getSignature()
          Returns the signature of this module, i.e. the set of entities that occur in it.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

baseOntology

protected OWLOntology baseOntology

baseOntologyManager

protected OWLOntologyManager baseOntologyManager

associatedExtractor

protected SyntacticLocalityModuleExtractor associatedExtractor

axiomArray

protected boolean[] axiomArray

logicalAxioms

protected java.util.Set<OWLAxiom> logicalAxioms

nonLogicalAxioms

protected java.util.Set<OWLAxiom> nonLogicalAxioms

axioms

protected java.util.Set<OWLAxiom> axioms

moduleType

protected ModuleType moduleType

seedSignature

protected java.util.Set<OWLEntity> seedSignature

moduleSignature

protected java.util.Set<OWLEntity> moduleSignature
Constructor Detail

SyntacticLocalityModule

public SyntacticLocalityModule(SyntacticLocalityModuleExtractor extractor,
                               java.util.Set<OWLAxiom> logicalAxioms,
                               java.util.Set<OWLAxiom> nonLogicalAxioms,
                               boolean[] modArray,
                               java.util.Set<OWLEntity> seedSignature,
                               java.util.Set<OWLEntity> moduleSignature)
Creates a new module that consists of the specified set of axioms and the array of Booleans. The specified extractor, its associated ontology, and its module type will be associated with this module.

Parameters:
extractor - the extractor that created this module
logicalAxioms - the logical axioms in this module
nonLogicalAxioms - the non-logical axioms in this module
modArray - the Boolean representation of the set of axioms
seedSignature - the signature for which this module has been extracted
moduleSignature - the signature of this module
Method Detail

getAxioms

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

Specified by:
getAxioms in interface OntologySegment
Returns:
the module as a set of axioms

getLogicalAxioms

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

Specified by:
getLogicalAxioms in interface OntologySegment
Returns:
all logical axioms in this module

getNonLogicalAxioms

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

Specified by:
getNonLogicalAxioms in interface OntologySegment
Returns:
all non-logical axioms in this module

getSeedSignature

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

Specified by:
getSeedSignature in interface OntologySegment
Returns:
the seed signature as a set of entities

getSignature

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

Specified by:
getSignature in interface OntologySegment
Returns:
the signature as a set of entities

getModuleSignature

public java.util.Set<OWLEntity> getModuleSignature()
Returns the signature of this module, i.e. the set of entities that occur in it. Internally, this method simply calls getSignature(). Its purpose is to allow for a clear distinction between the seed signature and the signature of the module.

Returns:
the signature as a set of entities

asOWLOntology

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

Specified by:
asOWLOntology in interface OntologySegment
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