public interface OntologySegmenter
Modifier and Type | Method and Description |
---|---|
java.util.Set<OWLAxiom> |
extract(java.util.Set<OWLEntity> signature)
Returns a set of axioms that is a segment of the ontology associated with this segmenter.
|
java.util.Set<OWLAxiom> |
extract(java.util.Set<OWLEntity> signature,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
Returns a set of axioms that is a segment of the ontology associated with this segmenter.
|
OWLOntology |
extractAsOntology(java.util.Set<OWLEntity> signature,
IRI iri)
Returns an ontology that is a segment of the ontology associated with this segmenter.
|
OWLOntology |
extractAsOntology(java.util.Set<OWLEntity> signature,
IRI iri,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
Returns an ontology that is a segment of the ontology associated with this segmenter.
|
java.util.Set<OWLAxiom> extract(java.util.Set<OWLEntity> signature)
signature
- the seed signaturejava.util.Set<OWLAxiom> extract(java.util.Set<OWLEntity> signature, int superClassLevel, int subClassLevel, OWLReasoner reasoner)
signature
- the seed signaturesuperClassLevel
- 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 extraction, see below for admissible valuesreasoner
- the reasoner to determine super-/subclassesOWLOntology extractAsOntology(java.util.Set<OWLEntity> signature, IRI iri) throws OWLOntologyCreationException
signature
- the seed signature (set of entities) for the moduleiri
- the URI for the moduleOWLOntologyChangeException
- if adding axioms to the module failsOWLOntologyCreationException
- if the module cannot be createdOWLOntology extractAsOntology(java.util.Set<OWLEntity> signature, IRI iri, int superClassLevel, int subClassLevel, OWLReasoner reasoner) throws OWLOntologyCreationException
signature
- the seed signatureiri
- the URI 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 extraction, see below for admissible valuesreasoner
- the reasoner to determine super-/subclassesOWLOntologyChangeException
- if adding axioms to the module failsOWLOntologyCreationException
- if the module cannot be created
Meaning of the value of superClassLevel, subClassLevel: