org.semanticweb.owlapitools.decomposition

Interface LocalityChecker

All Known Implementing Classes:

SemanticLocalityChecker, SyntacticLocalityChecker

public interface LocalityChecker

Author:

ignazio Locality checker

Method Summary

Modifier and Type	Method and Description
Signature	getSignature()
boolean	isBotEquivalent(OWLObject expr)
boolean	isTopEquivalent(OWLObject expr)
boolean	local(OWLAxiom axiom)
void	preprocessOntology(Collection<AxiomWrapper> vec) allow the checker to preprocess an ontology if necessary
void	setSignatureValue(Signature sig)

Method Detail

local

boolean local(OWLAxiom axiom)

Parameters:

axiom - axiom to check

Returns:

true if axiom is local

preprocessOntology

void preprocessOntology(Collection<AxiomWrapper> vec)

allow the checker to preprocess an ontology if necessary

Parameters:

vec - collection of axioms

setSignatureValue

void setSignatureValue(Signature sig)

Parameters:

sig - signature to use

getSignature

Signature getSignature()

Returns:

signature being used

isTopEquivalent

boolean isTopEquivalent(OWLObject expr)

Parameters:

expr - expression to evaluate

Returns:

true if expr is top equivalent

isBotEquivalent

boolean isBotEquivalent(OWLObject expr)

Parameters:

expr - expression to evaluate

Returns:

true if expr is bottom equivalent