|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectuk.ac.manchester.cs.owl.modularity.SyntacticLocalityModuleExtractor
public class SyntacticLocalityModuleExtractor
Implementation of module extraction based on syntactic locality.
| 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 OWLOntology |
associatedOntology
Represents the ontology associated with this module extractor. |
protected OWLOntologyManager |
associatedOntologyManager
Represents the manager for the associated ontology. |
protected ModuleType |
moduleType
Type of module |
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. |
|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntology ont,
java.util.Set<OWLAxiom> axs,
ModuleType moduleType)
Creates a new module extractor for a subset of a given ontology, its manager, and a specified type of locality. |
|
| Method Summary | |
|---|---|
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. |
protected boolean[] |
extractLogicalAxioms(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. |
SyntacticLocalityModule |
extractModule(java.util.Set<OWLEntity> sig)
Extracts a module from the associated ontology for a given signature and the associated module type. |
protected boolean[] |
extractNestedLogicalModule(java.util.Set<OWLEntity> signature,
boolean[] subOnt,
LocalityClass cls1,
LocalityClass cls2)
Convenience method for extracting a lower-of-upper or upper-of-lower module in one go. |
protected java.util.Set<OWLAxiom> |
extractNonLogicalAxioms(java.util.Set<OWLAxiom> logicalAxioms,
java.util.Set<OWLEntity> sig)
This method returns all non-logical axioms (declaration and annotation axioms) that are associated with the logical axioms in the specified module. |
OWLOntology |
getAssociatedOntology()
Returns the ontology associated with this module extractor. |
OWLOntologyManager |
getAssociatedOntologyManager()
Returns the manager for the ontology associated with this module extractor. |
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 |
|---|
protected ModuleType moduleType
protected SyntacticLocalityModuleExtractor.OntologyAxiomSet ontologyAxiomSet
protected OWLOntology associatedOntology
protected OWLOntologyManager associatedOntologyManager
| Constructor Detail |
|---|
public SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntology ont,
java.util.Set<OWLAxiom> axs,
ModuleType moduleType)
man - the manager for the associated ontologyont - the associated ontologyaxs - the subset of the ontology as a set of axiomsmoduleType - the type of module this extractor will construct
public SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntology ont,
ModuleType moduleType)
man - the manager for the associated ontologyont - the associated ontologymoduleType - the type of module this extractor will construct| Method Detail |
|---|
public OWLOntology getAssociatedOntology()
public OWLOntologyManager getAssociatedOntologyManager()
public void setModuleType(ModuleType moduleType)
moduleType - the new type of modulepublic ModuleType getModuleType()
protected boolean[] extractLogicalAxioms(boolean[] subOnt,
java.util.Set<OWLEntity> signature,
LocalityClass localityClass)
subOnt - an array of Booleans representing the sub-ontologysignature - the seed signature (set of entities) for the module; on return of the method, this will contain the signature of the modulelocalityClass - the type of locality
protected java.util.Set<OWLAxiom> extractNonLogicalAxioms(java.util.Set<OWLAxiom> logicalAxioms,
java.util.Set<OWLEntity> sig)
logicalAxioms - set of logical axioms representing the original modulesig - a set of entities representing the signature of the original module
protected boolean[] extractNestedLogicalModule(java.util.Set<OWLEntity> signature,
boolean[] subOnt,
LocalityClass cls1,
LocalityClass cls2)
signature - the seed signature (set of entities) for the module; on return of the method, this will contain the signature of the modulesubOnt - an array of Booleans representing the sub-ontologycls1 - the locality class for the first extraction stepcls2 - the locality class for the second extraction step
public SyntacticLocalityModule extractModule(java.util.Set<OWLEntity> sig)
sig - the seed signature (set of entities) for the module
public java.util.Set<OWLAxiom> extract(java.util.Set<OWLEntity> sig)
extract in interface OntologySegmentersig - the seed signature (set of entities) for the module
public OWLOntology extractAsOntology(java.util.Set<OWLEntity> signature,
java.net.URI uri)
throws OWLOntologyCreationException,
OWLOntologyChangeException
extractAsOntology in interface OntologySegmentersignature - the seed signature (set of entities) for the moduleuri - the URI for the module
OWLOntologyChangeException - if adding axioms to the module fails
OWLOntologyCreationException - if the module cannot be created
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||