public abstract class AbstractModuleExtractor extends Object implements ModuleExtractor
ModuleExtractor
s able of precomputing
global axioms and tautologies.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. |
boolean |
containsAxiom(OWLAxiom axiom)
Returns whether or not the axiom base of this
ModuleExtractor contains the given
OWLAxiom . |
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). |
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 . |
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). |
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 . |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
extract, extract, extract, extractAsOntology
@Nonnull public final Stream<OWLAxiom> axiomBase()
ModuleExtractor
ModuleExtractor
are computed against, including
global axioms and tautologies.axiomBase
in interface ModuleExtractor
public boolean containsAxiom(OWLAxiom axiom)
ModuleExtractor
ModuleExtractor
contains the given
OWLAxiom
.containsAxiom
in interface ModuleExtractor
axiom
- The axiom to testpublic final boolean everyModuleContains(OWLAxiom axiom)
ModuleExtractor
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
ModuleExtractor.noModuleContains(OWLAxiom)
returns false
for the same
axiom.everyModuleContains
in interface ModuleExtractor
axiom
- The OWLAxiom
to check@Nonnull public final Stream<OWLAxiom> globals()
ModuleExtractor
ModuleExtractor
. These axioms may be
precomputed or calculated on every call of this method.globals
in interface ModuleExtractor
public final boolean noModuleContains(OWLAxiom axiom)
ModuleExtractor
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
ModuleExtractor.everyModuleContains(OWLAxiom)
returns false
for the same
axiom.noModuleContains
in interface ModuleExtractor
axiom
- The OWLAxiom
to check@Nonnull public final Stream<OWLAxiom> tautologies()
ModuleExtractor
ModuleExtractor
. These axioms may be
precomputed or calculated on every call of this method.tautologies
in interface ModuleExtractor
Copyright © 2020 The University of Manchester. All rights reserved.