Modifier and Type | Class and Description |
---|---|
class |
AtomicDecomposition.Atom
Class to represent atoms.
|
Constructor and Description |
---|
AtomicDecomposition(OWLOntology ontology)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction an SyntacticLocalityModuleExtractor provides by using
LocalityClass.STAR . |
AtomicDecomposition(OWLOntology ontology,
Function<Stream<OWLAxiom>,? extends ModuleExtractor> function)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction the ModuleExtractor the given Function supplies. |
AtomicDecomposition(Stream<OWLAxiom> axioms)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction an SyntacticLocalityModuleExtractor provides by using
LocalityClass.STAR . |
AtomicDecomposition(Stream<OWLAxiom> axioms,
Function<Stream<OWLAxiom>,? extends ModuleExtractor> function)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction the ModuleExtractor the given Function supplies. |
Modifier and Type | Method and Description |
---|---|
AtomicDecomposition.Atom |
atomOf(OWLAxiom axiom)
Returns the
AtomicDecomposition.Atom associated with the given OWLAxiom . |
Stream<AtomicDecomposition.Atom> |
atoms()
|
Stream<OWLAxiom> |
axioms() |
boolean |
containsAxiom(OWLAxiom axiom)
Returns whether or not the given
OWLAxiom is part of the axiom base of this
AtomicDecomposition . |
Stream<OWLAxiom> |
moduleToSignatureOf(OWLAxiom axiom)
Returns the module within the
axioms() with respect to the
signature of the given axiom. |
public AtomicDecomposition(OWLOntology ontology)
AtomicDecomposition
for the given axiom base based on the module
extraction an SyntacticLocalityModuleExtractor
provides by using
LocalityClass.STAR
. This operation may take some time based on the ontology size and
the used module extraction algorithm.ontology
- The OWLOntology
that is to be decomposed. Changes of the ontology
will not be consideredpublic AtomicDecomposition(OWLOntology ontology, Function<Stream<OWLAxiom>,? extends ModuleExtractor> function)
AtomicDecomposition
for the given axiom base based on the module
extraction the ModuleExtractor
the given Function
supplies. This operation
may take some time based on the ontology size and the used module extraction algorithm.ontology
- The OWLOntology
that is to be decomposed. Changes of the ontology
will not be consideredfunction
- The function used to build a ModuleExtractor
. We recommend performing
possible precalculations by the module extractorpublic AtomicDecomposition(Stream<OWLAxiom> axioms)
AtomicDecomposition
for the given axiom base based on the module
extraction an SyntacticLocalityModuleExtractor
provides by using
LocalityClass.STAR
. This operation may take some time based on the ontology size and
the used module extraction algorithm.axioms
- The axiom base that is to be decomposedpublic AtomicDecomposition(Stream<OWLAxiom> axioms, Function<Stream<OWLAxiom>,? extends ModuleExtractor> function)
AtomicDecomposition
for the given axiom base based on the module
extraction the ModuleExtractor
the given Function
supplies. It must be
ensured that it satisfies the properties required to be used for atomic decomposition, see
"Modular Structures and Atomic Decomposition in Ontologies" by Del Vescovo et al, 2019. For
example, one such module extraction algorithm is provided by the subclasses of
LocalityModuleExtractor
s.
This operation may take some time based on the ontology size and the used module extraction
algorithm.axioms
- The axiom base that is to be decomposedfunction
- The function used to build a ModuleExtractor
. We recommend performing
possible precalculations by the module extractor@Nonnull public AtomicDecomposition.Atom atomOf(OWLAxiom axiom)
AtomicDecomposition.Atom
associated with the given OWLAxiom
. Those AtomicDecomposition.Atom
s are
computed when constructing the AtomicDecomposition
.axiom
- The OWLAxiom
whose AtomicDecomposition.Atom
should be returnedAtomicDecomposition.Atom
as specified aboveIllegalArgumentException
- If the given OWLAxiom
is not part of the axiom base
of this AtomicDecomposition
public Stream<AtomicDecomposition.Atom> atoms()
AtomicDecomposition.Atom
s computed by this AtomicDecomposition
public boolean containsAxiom(OWLAxiom axiom)
OWLAxiom
is part of the axiom base of this
AtomicDecomposition
. Runs in O(1).axiom
- The OWLAxiom
to checkOWLAxiom
is part of the axiom base of this
AtomicDecomposition
@Nonnull public Stream<OWLAxiom> moduleToSignatureOf(OWLAxiom axiom)
axioms()
with respect to the
signature of the given axiom. Those modules are computed when constructing the
AtomicDecomposition
.axiom
- The axiom for whose signature the precomputed module should be returnedIllegalArgumentException
- If the given axiom is not part of the axiom base of this
AtomicDecomposition
Copyright © 2020 The University of Manchester. All rights reserved.