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

java.lang.Object
  uk.ac.manchester.cs.owl.modularity.SyntacticLocalityModuleExtractor

All Implemented Interfaces:

OntologySegmenter

public class SyntacticLocalityModuleExtractor
extends java.lang.Object
implements OntologySegmenter

Implementation of module extraction based on syntactic locality.

Author:

Thomas Schneider, School of Computer Science, University of Manchester

Nested Class Summary

protected class

SyntacticLocalityModuleExtractor.OntologyAxiomSet Auxiliary inner class for the representation of the associated ontology and all its sub-ontologies as arrays of axioms.

Field Summary

protected OWLOntologyManager	manager Represents the manager for the associated ontology.
protected ModuleType	moduleType Type of module
protected OWLOntology	ontology
protected SyntacticLocalityModuleExtractor.OntologyAxiomSet	ontologyAxiomSet Represents the associated ontology.

Constructor Summary

SyntacticLocalityModuleExtractor(OWLOntologyManager man, OWLOntology ont, ModuleType moduleType)
Creates a new module extractor for a given ontology, its manager, and a specified type of locality.

Method Summary

protected boolean[]	extract(boolean[] subOnt, java.util.Set<OWLEntity> signature, LocalityClass localityClass) This auxiliary method extracts a module from a given sub-ontology of the associated ontology for a given signature and locality type.
protected java.util.Set<OWLAxiom>	extract(java.util.Set<OWLAxiom> subOnt, java.util.Set<OWLEntity> signature, LocalityClass localityClass) This method extracts a module from a given sub-ontology of the associated ontology for a given signature and locality type.
java.util.Set<OWLAxiom>	extract(java.util.Set<OWLEntity> sig) Extracts a module from the associated ontology for a given signature and the associated module type, and returns the module as a set of axioms.
OWLOntology	extractAsOntology(java.util.Set<OWLEntity> signature, java.net.URI uri) Extracts a module from the associated ontology for a given signature and the associated module type, and returns the module as an ontology.
ModuleType	getModuleType() Returns the module type for this extractor.
void	setModuleType(ModuleType moduleType) Changes the module type for this extractor without deleting the stored referenced entities.

Methods inherited from class java.lang.Object

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

Field Detail

moduleType

protected ModuleType moduleType

Type of module

ontologyAxiomSet

protected SyntacticLocalityModuleExtractor.OntologyAxiomSet ontologyAxiomSet

Represents the associated ontology.

ontology

protected OWLOntology ontology

manager

protected OWLOntologyManager manager

Represents the manager for the associated ontology.

Constructor Detail

SyntacticLocalityModuleExtractor

public SyntacticLocalityModuleExtractor(OWLOntologyManager man,
                                        OWLOntology ont,
                                        ModuleType moduleType)

Creates a new module extractor for a given ontology, its manager, and a specified type of locality.

Parameters:

man - the manager for the associated ontology

ont - the associated ontology

moduleType - the type of module this extractor will construct

Method Detail

setModuleType

public void setModuleType(ModuleType moduleType)

Changes the module type for this extractor without deleting the stored referenced entities.

Parameters:

moduleType - the new type of module

getModuleType

public ModuleType getModuleType()

Returns the module type for this extractor.

Returns:

module type for this extractor

extract

protected boolean[] extract(boolean[] subOnt,
                            java.util.Set<OWLEntity> signature,
                            LocalityClass localityClass)

This auxiliary method extracts a module from a given sub-ontology of the associated ontology for a given signature and locality type. The sub-ontology and module are represented as arrays of Booleans.

This method is (if necessary, iteratively) called by the public method extract.

Parameters:

subOnt - an array of Booleans representing the sub-ontology

signature - the seed signature (set of entities) for the module

localityClass - the type of locality

Returns:

an array of Booleans representing the module

extract

protected java.util.Set<OWLAxiom> extract(java.util.Set<OWLAxiom> subOnt,
                                          java.util.Set<OWLEntity> signature,
                                          LocalityClass localityClass)

This method extracts a module from a given sub-ontology of the associated ontology for a given signature and locality type. The sub-ontology and module are represented as sets of axioms.

Parameters:

subOnt - a set of axioms representing the sub-ontology

signature - the seed signature (set of entities) for the module

localityClass - the type of locality

Returns:

a set of axioms representing the module

extract

public java.util.Set<OWLAxiom> extract(java.util.Set<OWLEntity> sig)

Extracts a module from the associated ontology for a given signature and the associated module type, and returns the module as a set of axioms.

Specified by:

extract in interface OntologySegmenter

Parameters:

sig - the seed signature (set of entities) for the module

Returns:

the module

extractAsOntology

public OWLOntology extractAsOntology(java.util.Set<OWLEntity> signature,
                                     java.net.URI uri)
                              throws OWLOntologyCreationException,
                                     OWLOntologyChangeException

Extracts a module from the associated ontology for a given signature and the associated module type, and returns the module as an ontology.

Specified by:

extractAsOntology in interface OntologySegmenter

Parameters:

signature - the seed signature (set of entities) for the module

uri - the URI for the module

Returns:

the module, having the specified URI

Throws:

OWLOntologyChangeException - if adding axioms to the module fails

OWLOntologyCreationException - if the module cannot be created