|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectuk.ac.manchester.cs.owl.modularity.SyntacticLocalityModule
public class SyntacticLocalityModule
Implementation of modules based on syntactic locality.
| 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 |
|---|
protected OWLOntology baseOntology
protected OWLOntologyManager baseOntologyManager
protected SyntacticLocalityModuleExtractor associatedExtractor
protected boolean[] axiomArray
protected java.util.Set<OWLAxiom> logicalAxioms
protected java.util.Set<OWLAxiom> nonLogicalAxioms
protected java.util.Set<OWLAxiom> axioms
protected ModuleType moduleType
protected java.util.Set<OWLEntity> seedSignature
protected java.util.Set<OWLEntity> moduleSignature
| Constructor Detail |
|---|
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)
extractor - the extractor that created this modulelogicalAxioms - the logical axioms in this modulenonLogicalAxioms - the non-logical axioms in this modulemodArray - the Boolean representation of the set of axiomsseedSignature - the signature for which this module has been extractedmoduleSignature - the signature of this module| Method Detail |
|---|
public java.util.Set<OWLAxiom> getAxioms()
getAxioms in interface OntologySegmentpublic java.util.Set<OWLAxiom> getLogicalAxioms()
getLogicalAxioms in interface OntologySegmentpublic java.util.Set<OWLAxiom> getNonLogicalAxioms()
getNonLogicalAxioms in interface OntologySegmentpublic java.util.Set<OWLEntity> getSeedSignature()
getSeedSignature in interface OntologySegmentpublic java.util.Set<OWLEntity> getSignature()
getSignature in interface OntologySegmentpublic java.util.Set<OWLEntity> getModuleSignature()
public OWLOntology asOWLOntology(java.net.URI uri)
throws OWLOntologyCreationException,
OWLOntologyChangeException
asOWLOntology in interface OntologySegmenturi - the URI for the new ontology
OWLOntologyCreationException - if the new ontology cannot be created
OWLOntologyChangeException - if adding axioms to the new ontology fails
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||