public interface ModuleExtractor
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
axiomBase()
Return the axioms all modules of this
ModuleExtractor are computed against, including
global axioms and tautologies. |
default boolean |
containsAxiom(OWLAxiom axiom)
Returns whether or not the axiom base of this
ModuleExtractor contains the given
OWLAxiom . |
default boolean |
everyModuleContains(OWLAxiom axiom)
Returns
true if it is guaranteed that the given OWLAxiom is contained in
every module calculated by the module extraction method this ModuleExtractor is based
on; false when no such guarantee can be made (Note: This does not mean that
there is some module regardless of other axioms or the signature that does not contain the
given axiom). |
default Stream<OWLAxiom> |
extract(Stream<OWLEntity> signature)
Extracts a module with respect to the given signature against the axiom base of this
ModuleExtractor . |
Stream<OWLAxiom> |
extract(Stream<OWLEntity> signature,
Optional<Predicate<OWLAxiom>> axiomFilter)
Extracts a module with respect to the given signature against the subset of the axiom base
this
ModuleExtractor s axiom base that matches the given Predicate , if any. |
default Stream<OWLAxiom> |
extract(Stream<OWLEntity> signature,
Predicate<OWLAxiom> axiomFilter)
Extracts a module with respect to the given signature against the subset of the axiom base
this
ModuleExtractor s axiom base that matches the given Predicate . |
default OWLOntology |
extractAsOntology(Stream<OWLEntity> signature,
OWLOntologyManager ontologyManager,
IRI ontologyIRI)
Extracts a module as an
OWLOntology with respect to the given signature over the
given axiom base. |
default Stream<OWLAxiom> |
globals()
Returns from the axiom base of this extractor exactly those that are guaranteed to be
contained in every module calculated by this
ModuleExtractor . |
default boolean |
noModuleContains(OWLAxiom axiom)
Returns
true if it is guaranteed that the given OWLAxiom is not
contained in any module (regardless of other axioms or the signature) calculated by the
module extraction method this ModuleExtractor is based on; false when no
such guarantee can be made (Note: This does not mean that there is some module that contains
the given axiom). |
default Stream<OWLAxiom> |
tautologies()
Returns from the axiom base of this extractor exactly those that are guaranteed not to be
contained in any module calculated by this
ModuleExtractor . |
@Nonnull Stream<OWLAxiom> axiomBase()
ModuleExtractor
are computed against, including
global axioms and tautologies.default boolean containsAxiom(OWLAxiom axiom)
ModuleExtractor
contains the given
OWLAxiom
.axiom
- The axiom to testdefault boolean everyModuleContains(OWLAxiom axiom)
true
if it is guaranteed that the given OWLAxiom
is contained in
every module calculated by the module extraction method this ModuleExtractor
is based
on; false
when no such guarantee can be made (Note: This does not mean that
there is some module regardless of other axioms or the signature that does not contain the
given axiom). This methods returning true
implies that
noModuleContains(OWLAxiom)
returns false
for the same
axiom.axiom
- The OWLAxiom
to check@Nonnull default Stream<OWLAxiom> extract(Stream<OWLEntity> signature)
ModuleExtractor
.signature
- The signature the module should be extracted against@Nonnull Stream<OWLAxiom> extract(Stream<OWLEntity> signature, Optional<Predicate<OWLAxiom>> axiomFilter)
ModuleExtractor
s axiom base that matches the given Predicate
, if any.signature
- The signature the module should be extracted against.axiomFilter
- An Optional
Predicate
that filters a subset of the axiom
base to extract the module against. Note that ignoring some axiom may lead to other
axioms not be contained in the module either. For example, consider the Ontology O:=
{A⊑B, B⊑C, C⊑D} and the signature {A}. SyntacticLocalityEvaluator
with
LocalityClass.BOTTOM
returns O as a whole, but when ignoring the axiom B⊑C it
only returns {A⊑B}.@Nonnull default Stream<OWLAxiom> extract(Stream<OWLEntity> signature, Predicate<OWLAxiom> axiomFilter)
ModuleExtractor
s axiom base that matches the given Predicate
.signature
- The signature the module should be extracted against.axiomFilter
- An Predicate
that filters a subset of the axiom base to extract
the module against. Note that ignoring some axiom may lead to other axioms not be
contained in the module either. For example, consider the ontology O:= {A⊑B, B⊑C, C⊑D}
and the signature {A,E}. SyntacticLocalityEvaluator
with
LocalityClass.BOTTOM
returns O as a whole, but when ignoring the axiom B⊑C, it
will only return {A⊑B}.@Nonnull default OWLOntology extractAsOntology(Stream<OWLEntity> signature, OWLOntologyManager ontologyManager, IRI ontologyIRI) throws OWLOntologyCreationException
OWLOntology
with respect to the given signature over the
given axiom base.signature
- The signature the module should be extracted againstontologyManager
- The OWLOntologyManager
used to create the new
OWLOntology
ontologyIRI
- The IRI
of the new OWLOntology
OWLOntology
OWLOntologyCreationException
- If there is an exception when creating the
OWLOntology
@Nonnull default Stream<OWLAxiom> globals()
ModuleExtractor
. These axioms may be
precomputed or calculated on every call of this method.default boolean noModuleContains(OWLAxiom axiom)
true
if it is guaranteed that the given OWLAxiom
is not
contained in any module (regardless of other axioms or the signature) calculated by the
module extraction method this ModuleExtractor
is based on; false
when no
such guarantee can be made (Note: This does not mean that there is some module that contains
the given axiom). This methods returning true
implies that
everyModuleContains(OWLAxiom)
returns false
for the same
axiom.axiom
- The OWLAxiom
to check@Nonnull default Stream<OWLAxiom> tautologies()
ModuleExtractor
. These axioms may be
precomputed or calculated on every call of this method.Copyright © 2020 The University of Manchester. All rights reserved.