public class SyntacticLocalityModuleExtractor extends java.lang.Object implements OntologySegmenter
Constructor and Description |
---|
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.
|
Modifier and Type | Method and Description |
---|---|
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.
|
java.util.Set<OWLAxiom> |
extract(java.util.Set<OWLEntity> sig,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
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.
|
java.util.Set<OWLAxiom> |
extract(java.util.Set<OWLEntity> sig,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner,
boolean verbose)
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,
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.
|
OWLOntology |
extractAsOntology(java.util.Set<OWLEntity> signature,
IRI iri,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
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.
|
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 constructpublic void setModuleType(ModuleType moduleType)
moduleType
- the new type of modulepublic ModuleType getModuleType()
public java.util.Set<OWLAxiom> extract(java.util.Set<OWLEntity> sig)
extract
in interface OntologySegmenter
sig
- the seed signature (set of entities) for the modulepublic java.util.Set<OWLAxiom> extract(java.util.Set<OWLEntity> sig, int superClassLevel, int subClassLevel, OWLReasoner reasoner)
extract
in interface OntologySegmenter
sig
- the seed signature (set of entities) for the modulesuperClassLevel
- determines whether superclasses are added to the signature before segment extraction, see below for admissible valuessubClassLevel
- determines whether subclasses are added to the signature before segment extractionreasoner
- the reasoner to determine super-/subclasses. This can be an arbitrary reasoner, including a ToldClassHierarchyReasoner. It must have loaded the ontology.public java.util.Set<OWLAxiom> extract(java.util.Set<OWLEntity> sig, int superClassLevel, int subClassLevel, OWLReasoner reasoner, boolean verbose)
sig
- the seed signature (set of entities) for the modulesuperClassLevel
- determines whether superclasses are added to the signature before segment extraction, see below for admissible valuessubClassLevel
- determines whether subclasses are added to the signature before segment extractionreasoner
- the reasoner to determine super-/subclasses. This can be an arbitrary reasoner, including a ToldClassHierarchyReasoner. It must have loaded the ontology.verbose
- true if verbose output is requiredpublic OWLOntology extractAsOntology(java.util.Set<OWLEntity> signature, IRI iri) throws OWLOntologyCreationException
extractAsOntology
in interface OntologySegmenter
signature
- the seed signature (set of entities) for the moduleiri
- the IRI for the moduleOWLOntologyChangeException
- if adding axioms to the module failsOWLOntologyCreationException
- if the module cannot be createdpublic OWLOntology extractAsOntology(java.util.Set<OWLEntity> signature, IRI iri, int superClassLevel, int subClassLevel, OWLReasoner reasoner) throws OWLOntologyCreationException
extractAsOntology
in interface OntologySegmenter
signature
- the seed signature (set of entities) for the moduleiri
- the IRI for the modulesuperClassLevel
- determines whether superclasses are added to the signature before segment extraction, see below for admissible valuessubClassLevel
- determines whether subclasses are added to the signature before segment extractionreasoner
- the reasoner to determine super-/subclasses. This can be an arbitrary reasoner, including a ToldClassHierarchyReasoner. It must have loaded the ontology.OWLOntologyChangeException
- if adding axioms to the module failsOWLOntologyCreationException
- if the module cannot be created