org.semanticweb.owlapi.modularity

Class AtomicDecomposition.Atom

java.lang.Object

org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

All Implemented Interfaces:

HasAxioms, HasContainsAxiom

Enclosing class:

AtomicDecomposition

public final class AtomicDecomposition.Atom
extends Object
implements HasAxioms, HasContainsAxiom

Class to represent atoms.

Author:

Marc Robin Nolte

Method Summary

Modifier and Type	Method and Description
Stream<OWLAxiom>	axioms()
boolean	containsAxiom(OWLAxiom axiom) Determines whether or not this object contains a particular OWLAxiom.
Stream<AtomicDecomposition.Atom>	dependencies() Returns the AtomicDecomposition.Atoms this AtomicDecomposition.Atom (directly or indirectly) depends on, excluding this atom.
Stream<AtomicDecomposition.Atom>	dependents() Returns the AtomicDecomposition.Atoms that (directly or indirectly) depend on this AtomicDecomposition.Atom, excluding this atom.
boolean	dependsOn(AtomicDecomposition.Atom atom) Checks if this AtomicDecomposition.Atom (directly or indirectly) depends on the given AtomicDecomposition.Atom.
Stream<AtomicDecomposition.Atom>	directDependencies() Returns the AtomicDecomposition.Atoms this AtomicDecomposition.Atom DIRECTLY depends on, excluding this atom.
Stream<AtomicDecomposition.Atom>	directDependents() Returns the AtomicDecomposition.Atoms that DIRECTLY depend on this AtomicDecomposition.Atom, excluding this atom.
boolean	directlyDependsOn(AtomicDecomposition.Atom atom) Checks if this AtomicDecomposition.Atom DIRECTLY depends on the given one.
int	getAxiomCount() Returns the number of axioms within this AtomicDecomposition.Atom.
boolean	isDependencyOf(AtomicDecomposition.Atom atom) Checks if the given AtomicDecomposition.Atom (directly or indirectly) depends on this AtomicDecomposition.Atom.
boolean	isDirectDependencyOf(AtomicDecomposition.Atom atom) Checks if the given AtomicDecomposition.Atom DIRECTLY depends on this AtomicDecomposition.Atom.

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

Method Detail

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)

Description copied from interface: HasContainsAxiom

Determines whether or not this object contains a particular OWLAxiom.

Specified by:

containsAxiom in interface HasContainsAxiom

Parameters:

axiom - The OWLAxiom to test for.

Returns:

true if this object contains axiom, otherwise false.

dependencies

@Nonnull
public Stream<AtomicDecomposition.Atom> dependencies()

Returns the AtomicDecomposition.Atoms this AtomicDecomposition.Atom (directly or indirectly) depends on, excluding this atom. In the literature, all atoms (A) with (this) > (A).

Returns:

The AtomicDecomposition.Atoms this AtomicDecomposition.Atom depends on, excluding this atom

dependents

@Nonnull
public Stream<AtomicDecomposition.Atom> dependents()

Returns the AtomicDecomposition.Atoms that (directly or indirectly) depend on this AtomicDecomposition.Atom, excluding this atom. In the literature, all atoms (A) with (A) > (this).

Returns:

The AtomicDecomposition.Atoms that depend on this AtomicDecomposition.Atom, excluding this atom

dependsOn

public boolean dependsOn(AtomicDecomposition.Atom atom)

Checks if this AtomicDecomposition.Atom (directly or indirectly) depends on the given AtomicDecomposition.Atom. In the literature, if (this) > (given). Note that this returns false, if the given atom is @{code ==} to this atom.

Parameters:

atom - The AtomicDecomposition.Atom to check if this AtomicDecomposition.Atom depends on it. Cannot be null.

Returns:

If this AtomicDecomposition.Atom depends on the given AtomicDecomposition.Atom

Throws:

NullPointerException - If the given AtomicDecomposition.Atom was null

directDependencies

@Nonnull
public Stream<AtomicDecomposition.Atom> directDependencies()

Returns the AtomicDecomposition.Atoms this AtomicDecomposition.Atom DIRECTLY depends on, excluding this atom. In the literature, all atoms (A) with (this) > (A), such there is no other atom (B) with (this) > (B) > (A). This method is equal to calling thisAtom.dependencies(thisAtom::directlyDependsOn) and on each call is in O(this.getAxiomCount()^2) .

Returns:

The AtomicDecomposition.Atoms this AtomicDecomposition.Atom DIRECTLY depends on, excluding this atom

directDependents

@Nonnull
public Stream<AtomicDecomposition.Atom> directDependents()

Returns the AtomicDecomposition.Atoms that DIRECTLY depend on this AtomicDecomposition.Atom, excluding this atom. In the literature, all atoms (A) with (A) > (this), such there is no other atom (B) with (A) > (B) > (this). This method is equal to calling thisAtom.dependencies(thisAtom::isDirectDependencyOf) and on each call is in O(this.getAxiomCount()^2) .

Returns:

The AtomicDecomposition.Atoms this AtomicDecomposition.Atom DIRECTLY depends on, excluding this atom

directlyDependsOn

public boolean directlyDependsOn(AtomicDecomposition.Atom atom)

Checks if this AtomicDecomposition.Atom DIRECTLY depends on the given one. In the literature, if (this) > (given) and there is no other atom (B) with (this) > (B) > (given). On each call this method is in O(this.getAxiomCount()). Note that this returns false, if the given atom is @{code ==} to this atom.

Parameters:

atom - The AtomicDecomposition.Atom to check if this one directly depends on it

Returns:

If this AtomicDecomposition.Atom DIRECTLY depends on the given one

Throws:

NullPointerException - if the given AtomicDecomposition.Atom was null

getAxiomCount

public int getAxiomCount()

Returns the number of axioms within this AtomicDecomposition.Atom.

Returns:

The number of axioms within this AtomicDecomposition.Atom

isDependencyOf

public boolean isDependencyOf(AtomicDecomposition.Atom atom)

Checks if the given AtomicDecomposition.Atom (directly or indirectly) depends on this AtomicDecomposition.Atom. In the literature, if (given) > (this). Note that this returns false, if the given atom is @{code ==} to this atom.

Parameters:

atom - The AtomicDecomposition.Atom to check if it depends on this AtomicDecomposition.Atom. Cannot be null.

Returns:

If the given AtomicDecomposition.Atom depends on the this AtomicDecomposition.Atom

Throws:

NullPointerException - If the given AtomicDecomposition.Atom was null

isDirectDependencyOf

public boolean isDirectDependencyOf(AtomicDecomposition.Atom atom)

Checks if the given AtomicDecomposition.Atom DIRECTLY depends on this AtomicDecomposition.Atom. In the literature, if (given) > (this) and there is no other atom (B) with (given) > (B) > (this). On each call this method is in O(this.getAxiomCount()). Note that this returns false, if the given atom is @{code ==} to this atom.

Parameters:

atom - The atom to check if it directly depends on this one

Returns:

If the given AtomicDecomposition.Atom DIRECTLY depends on this one

Throws:

NullPointerException - if the given AtomicDecomposition.Atom was null