Package org.semanticweb.owlapi.modularity

Class AtomicDecomposition

java.lang.Object

org.semanticweb.owlapi.modularity.AtomicDecomposition

All Implemented Interfaces:

HasAxioms

public final class AtomicDecomposition
extends Object
implements HasAxioms

Class to represent the atomic decomposition of a set of axioms.

Author:

Marc Robin Nolte

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
final class	AtomicDecomposition.Atom	Class to represent atoms.

Constructor Summary

Constructors

Constructor	Description
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.
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.

Method Summary

Modifier and Type	Method	Description
AtomicDecomposition.Atom	atomOf(OWLAxiom axiom)	Returns the AtomicDecomposition.Atom associated with the given OWLAxiom.
Stream<AtomicDecomposition.Atom>	atoms()	Returns a Stream of the AtomicDecomposition.Atoms computed by this AtomicDecomposition.
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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.HasAxioms

getAxioms

Constructor Details

AtomicDecomposition

public AtomicDecomposition(OWLOntology ontology)

Constructs the 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.

Parameters:

ontology - The OWLOntology that is to be decomposed. Changes of the ontology will not be considered

AtomicDecomposition

public 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. This operation may take some time based on the ontology size and the used module extraction algorithm.

Parameters:

ontology - The OWLOntology that is to be decomposed. Changes of the ontology will not be considered

function - The function used to build a ModuleExtractor. We recommend performing possible precalculations by the module extractor

AtomicDecomposition

public AtomicDecomposition(Stream<OWLAxiom> axioms)

Constructs the 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.

Parameters:

axioms - The axiom base that is to be decomposed

AtomicDecomposition

public 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. 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 LocalityModuleExtractors. This operation may take some time based on the ontology size and the used module extraction algorithm.

Parameters:

axioms - The axiom base that is to be decomposed

function - The function used to build a ModuleExtractor. We recommend performing possible precalculations by the module extractor

Method Details

atomOf

@Nonnull
public AtomicDecomposition.Atom atomOf(OWLAxiom axiom)

Returns the AtomicDecomposition.Atom associated with the given OWLAxiom. Those AtomicDecomposition.Atoms are computed when constructing the AtomicDecomposition.

Parameters:

axiom - The OWLAxiom whose AtomicDecomposition.Atom should be returned

Returns:

The AtomicDecomposition.Atom as specified above

Throws:

IllegalArgumentException - If the given OWLAxiom is not part of the axiom base of this AtomicDecomposition

atoms

public Stream<AtomicDecomposition.Atom> atoms()

Returns a Stream of the AtomicDecomposition.Atoms computed by this AtomicDecomposition.

Returns:

The AtomicDecomposition.Atoms computed by this AtomicDecomposition

axioms

@Nonnull
public Stream<OWLAxiom> axioms()

Specified by:

axioms in interface HasAxioms

Returns:

Stream of OWLAxioms contained in this object.

containsAxiom

public boolean containsAxiom(OWLAxiom axiom)

Returns whether or not the given OWLAxiom is part of the axiom base of this AtomicDecomposition. Runs in O(1).

Parameters:

axiom - The OWLAxiom to check

Returns:

Whether or not the given OWLAxiom is part of the axiom base of this AtomicDecomposition

moduleToSignatureOf

@Nonnull
public Stream<OWLAxiom> moduleToSignatureOf(OWLAxiom axiom)

Returns the module within the axioms() with respect to the signature of the given axiom. Those modules are computed when constructing the AtomicDecomposition.

Parameters:

axiom - The axiom for whose signature the precomputed module should be returned

Returns:

The module as specified above

Throws:

IllegalArgumentException - If the given axiom is not part of the axiom base of this AtomicDecomposition