public abstract class LocalityModuleExtractor extends Object implements ModuleExtractor
ModuleExtractor
s. Offers
protected methods for the improved algorithm for module extraction.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 . |
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. |
LocalityClass |
getLocalityClass()
Returns the locality class used by this
LocalityModuleExtractor . |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
everyModuleContains, extract, extract, extractAsOntology, globals, noModuleContains, tautologies
@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 Stream<OWLAxiom> extract(Stream<OWLEntity> signature, Optional<Predicate<OWLAxiom>> axiomFilter)
ModuleExtractor
ModuleExtractor
s axiom base that matches the given Predicate
, if any.extract
in interface ModuleExtractor
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 public LocalityClass getLocalityClass()
LocalityModuleExtractor
.LocalityModuleExtractor
Copyright © 2020 The University of Manchester. All rights reserved.