org.semanticweb.owlapitools.decomposition

Class SigIndex

java.lang.Object

org.semanticweb.owlapitools.decomposition.SigIndex

public class SigIndex
extends Object

signature index

Constructor Summary

Constructors

Constructor and Description
SigIndex(LocalityChecker c)

Method Summary

Modifier and Type	Method and Description
void	clear() clear internal structures
Collection<AxiomWrapper>	getAxioms(OWLEntity entity) given an entity, return a set of all axioms that contain this entity in a signature
Collection<AxiomWrapper>	getNonLocal(boolean top) get the non-local axioms with top-locality value TOP
int	nProcessedAx()
void	preprocessOntology(Collection<AxiomWrapper> axioms) preprocess given set of axioms
void	processAx(AxiomWrapper ax) process an axiom wrt its Used status

Methods inherited from class java.lang.Object

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

Constructor Detail

SigIndex

public SigIndex(LocalityChecker c)

Parameters:

c - locality checker

Method Detail

clear

public void clear()

clear internal structures

getAxioms

public Collection<AxiomWrapper> getAxioms(OWLEntity entity)

given an entity, return a set of all axioms that contain this entity in a signature

Parameters:

entity - the entity

Returns:

collection of axioms referring the entity; empty for unknown entities.

getNonLocal

public Collection<AxiomWrapper> getNonLocal(boolean top)

get the non-local axioms with top-locality value TOP

Parameters:

top - true if top locality should be used

Returns:

collection of non local axioms

nProcessedAx

public int nProcessedAx()

Returns:

number of ever processed axioms

preprocessOntology

public void preprocessOntology(Collection<AxiomWrapper> axioms)

preprocess given set of axioms

Parameters:

axioms - the axioms to process

processAx

public void processAx(AxiomWrapper ax)

process an axiom wrt its Used status

Parameters:

ax - the axiom to process