uk.ac.manchester.cs.atomicdecomposition

Interface AtomicDecomposition

All Known Implementing Classes:

AtomicDecompositionImpl

public interface AtomicDecomposition

The atomic decomposition graph

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)

Method Detail

getDependencies

Set<Atom> getDependencies(Atom atom)

Parameters:

atom - atom

Returns:

dependencies for atom, including atom

getDependents

Set<Atom> getDependents(Atom atom)

Parameters:

atom - atom

Returns:

dependents for atom, including atom

getAtoms

Set<Atom> getAtoms()

Returns:

all atoms

getTautologies

Set<OWLAxiom> getTautologies()

Returns:

all tautologies

getAtomForAxiom

@Nullable
Atom getAtomForAxiom(OWLAxiom axiom)

Parameters:

axiom - the axiom to search

Returns:

Atom containing axiom

getTermBasedIndex

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

Returns:

map between entities and atoms referencing them

isTopAtom

boolean isTopAtom(Atom atom)

Parameters:

atom - atom

Returns:

true if atom is top atom

isBottomAtom

boolean isBottomAtom(Atom atom)

Parameters:

atom - atom

Returns:

true if atom is bottom atom

getRelatedAtoms

Set<Atom> getRelatedAtoms(Atom atom)

Parameters:

atom - atom

Returns:

the connected component for the given atom

getTopAtoms

Set<Atom> getTopAtoms()

Returns:

the set of top atoms

getBottomAtoms

Set<Atom> getBottomAtoms()

Returns:

the set of bottom atoms

getPrincipalIdeal

Set<OWLAxiom> getPrincipalIdeal(Atom atom)

Parameters:

atom - atom

Returns:

the set of axioms in the principal ideal for an atom

getPrincipalIdealSignature

Set<OWLEntity> getPrincipalIdealSignature(Atom atom)

Parameters:

atom - atom

Returns:

the signature for a principal ideal for an atom

getDependencies

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

Parameters:

atom - atom

direct - true if only direct dependencies should be returned

Returns:

dependencies set for atom; it includes atom

getDependents

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

Parameters:

atom - atom

direct - true if only direct dependents should be returned

Returns:

dependents set for atom; it includes atom

getModule

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

Parameters:

signature - signature for the module to extract

useSemantics - true if semantic extraction should be used

moduletype - type of module

Returns:

module stream

getAtomList

AtomList getAtomList()

Returns:

atom list