|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectuk.ac.manchester.cs.owlapi.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 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. |
|
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 | |
---|---|
protected java.util.Set<OWLAxiom> |
enrich(java.util.Set<OWLAxiom> module,
java.util.Set<OWLEntity> sig,
boolean verbose)
This method enriches a module that contains only logical axioms with all necessary entity declaration axioms, entity annotation axioms, and axiom annotation axioms. |
protected java.util.Set<OWLAxiom> |
extract(java.util.Set<OWLAxiom> subOnt,
java.util.Set<OWLEntity> signature,
LocalityClass localityClass,
boolean verbose)
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. |
protected java.util.Set<OWLAxiom> |
extract(java.util.Set<OWLEntity> sig,
boolean verbose)
|
OWLOntology |
extractAsOntology(java.util.Set<OWLEntity> signature,
IRI iri)
Extracts a module from the associated ontology for a given signature and the associated module type, and returns the module as an ontology. |
protected OWLOntology |
extractAsOntology(java.util.Set<OWLEntity> signature,
IRI iri,
boolean verbose)
|
protected boolean[] |
extractLogicalAxioms(boolean[] subOnt,
java.util.Set<OWLEntity> signature,
LocalityClass localityClass,
boolean verbose)
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> |
extractUnnestedModule(java.util.Set<OWLEntity> sig,
LocalityClass cls,
boolean verbose)
|
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 ontology
protected OWLOntologyManager manager
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 constructpublic SyntacticLocalityModuleExtractor(OWLOntologyManager man, OWLOntology ont, ModuleType moduleType)
man
- the manager for the associated ontologyont
- the associated ontologymoduleType
- the type of module this extractor will constructMethod Detail |
---|
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, boolean verbose)
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 localityverbose
- a flag for verbose output (test purposes)
protected java.util.Set<OWLAxiom> extract(java.util.Set<OWLAxiom> subOnt, java.util.Set<OWLEntity> signature, LocalityClass localityClass, boolean verbose)
subOnt
- a set of axioms 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 localityverbose
- a flag for verbose output (test purposes)
protected java.util.Set<OWLAxiom> enrich(java.util.Set<OWLAxiom> module, java.util.Set<OWLEntity> sig, boolean verbose)
module
- a set of axioms representing the original modulesig
- a set of entities representing the signature of the original moduleverbose
- a flag for verbose output (test purposes)
protected java.util.Set<OWLAxiom> extractUnnestedModule(java.util.Set<OWLEntity> sig, LocalityClass cls, boolean verbose)
public java.util.Set<OWLAxiom> extract(java.util.Set<OWLEntity> sig)
extract
in interface OntologySegmenter
sig
- the seed signature (set of entities) for the module
protected java.util.Set<OWLAxiom> extract(java.util.Set<OWLEntity> sig, boolean verbose)
public OWLOntology extractAsOntology(java.util.Set<OWLEntity> signature, IRI iri) throws OWLOntologyCreationException, OWLOntologyChangeException
extractAsOntology
in interface OntologySegmenter
signature
- the seed signature (set of entities) for the moduleiri
- the IRI for the module
OWLOntologyChangeException
- if adding axioms to the module fails
OWLOntologyCreationException
- if the module cannot be createdprotected OWLOntology extractAsOntology(java.util.Set<OWLEntity> signature, IRI iri, boolean verbose) throws OWLOntologyCreationException, OWLOntologyChangeException
OWLOntologyCreationException
OWLOntologyChangeException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |