uk.ac.manchester.cs.atomicdecomposition

Class AtomicDecompositionImpl

java.lang.Object

uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

All Implemented Interfaces:

AtomicDecomposition

public class AtomicDecompositionImpl
extends Object
implements AtomicDecomposition

Atomic decomposition implementation.

Constructor Summary

Constructors

Constructor and Description
AtomicDecompositionImpl(List<OWLAxiom> axioms, ModuleType type)
AtomicDecompositionImpl(OWLOntology o)
AtomicDecompositionImpl(OWLOntology o, ModuleType type)
AtomicDecompositionImpl(OWLOntology o, ModuleType type, boolean excludeAssertions)

Method Summary

Modifier and Type	Method and Description
Atom	getAtomForAxiom(OWLAxiom axiom)
AtomList	getAtomList()
Set<Atom>	getAtoms()
Set<Atom>	getBottomAtoms()
Set<Atom>	getDependencies(Atom atom)
Set<Atom>	getDependencies(Atom atom, boolean direct)
Set<Atom>	getDependents(Atom atom)
Set<Atom>	getDependents(Atom atom, boolean direct)
Stream<OWLAxiom>	getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype)
Set<OWLAxiom>	getPrincipalIdeal(Atom atom)
Set<OWLEntity>	getPrincipalIdealSignature(Atom atom)
Set<Atom>	getRelatedAtoms(Atom atom)
Set<OWLAxiom>	getTautologies()
Map<OWLEntity,Set<Atom>>	getTermBasedIndex()
Set<Atom>	getTopAtoms()
boolean	isBottomAtom(Atom atom)
boolean	isTopAtom(Atom atom)

Methods inherited from class java.lang.Object

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

Constructor Detail

AtomicDecompositionImpl

public AtomicDecompositionImpl(OWLOntology o)

Parameters:

o - o

AtomicDecompositionImpl

public AtomicDecompositionImpl(OWLOntology o,
                               ModuleType type)

Parameters:

o - o

type - type

AtomicDecompositionImpl

public AtomicDecompositionImpl(OWLOntology o,
                               ModuleType type,
                               boolean excludeAssertions)

Parameters:

o - o

type - type

excludeAssertions - true if assertions should be excluded

AtomicDecompositionImpl

public AtomicDecompositionImpl(List<OWLAxiom> axioms,
                               ModuleType type)

Parameters:

axioms - axioms

type - type

Method Detail

getAtoms

public Set<Atom> getAtoms()

Specified by:

getAtoms in interface AtomicDecomposition

Returns:

all atoms

getAtomForAxiom

@Nullable
public Atom getAtomForAxiom(OWLAxiom axiom)

Specified by:

getAtomForAxiom in interface AtomicDecomposition

Parameters:

axiom - the axiom to search

Returns:

Atom containing axiom

isTopAtom

public boolean isTopAtom(Atom atom)

Specified by:

isTopAtom in interface AtomicDecomposition

Parameters:

atom - atom

Returns:

true if atom is top atom

isBottomAtom

public boolean isBottomAtom(Atom atom)

Specified by:

isBottomAtom in interface AtomicDecomposition

Parameters:

atom - atom

Returns:

true if atom is bottom atom

getPrincipalIdeal

public Set<OWLAxiom> getPrincipalIdeal(Atom atom)

Specified by:

getPrincipalIdeal in interface AtomicDecomposition

Parameters:

atom - atom

Returns:

the set of axioms in the principal ideal for an atom

getPrincipalIdealSignature

public Set<OWLEntity> getPrincipalIdealSignature(Atom atom)

Specified by:

getPrincipalIdealSignature in interface AtomicDecomposition

Parameters:

atom - atom

Returns:

the signature for a principal ideal for an atom

getDependencies

public Set<Atom> getDependencies(Atom atom)

Specified by:

getDependencies in interface AtomicDecomposition

Parameters:

atom - atom

Returns:

dependencies for atom, including atom

getDependencies

public Set<Atom> getDependencies(Atom atom,
                                 boolean direct)

Specified by:

getDependencies in interface AtomicDecomposition

Parameters:

atom - atom

direct - true if only direct dependencies should be returned

Returns:

dependencies set for atom; it includes atom

getDependents

public Set<Atom> getDependents(Atom atom)

Specified by:

getDependents in interface AtomicDecomposition

Parameters:

atom - atom

Returns:

dependents for atom, including atom

getDependents

public Set<Atom> getDependents(Atom atom,
                               boolean direct)

Specified by:

getDependents in interface AtomicDecomposition

Parameters:

atom - atom

direct - true if only direct dependents should be returned

Returns:

dependents set for atom; it includes atom

getRelatedAtoms

public Set<Atom> getRelatedAtoms(Atom atom)

Specified by:

getRelatedAtoms in interface AtomicDecomposition

Parameters:

atom - atom

Returns:

the connected component for the given atom

getTopAtoms

public Set<Atom> getTopAtoms()

Specified by:

getTopAtoms in interface AtomicDecomposition

Returns:

the set of top atoms

getBottomAtoms

public Set<Atom> getBottomAtoms()

Specified by:

getBottomAtoms in interface AtomicDecomposition

Returns:

the set of bottom atoms

getTautologies

public Set<OWLAxiom> getTautologies()

Specified by:

getTautologies in interface AtomicDecomposition

Returns:

all tautologies

getTermBasedIndex

public Map<OWLEntity,Set<Atom>> getTermBasedIndex()

Specified by:

getTermBasedIndex in interface AtomicDecomposition

Returns:

map between entities and atoms referencing them

getAtomList

public AtomList getAtomList()

Specified by:

getAtomList in interface AtomicDecomposition

Returns:

atom list

getModule

public Stream<OWLAxiom> getModule(Stream<OWLEntity> signature,
                                  boolean useSemantics,
                                  ModuleType moduletype)

Specified by:

getModule in interface AtomicDecomposition

Parameters:

signature - signature for the module to extract

useSemantics - true if semantic extraction should be used

moduletype - type of module

Returns:

module stream