com.clarkparsia.owlapi.modularity.locality

Interface LocalityEvaluator

All Known Implementing Classes:

SemanticLocalityEvaluator, SyntacticLocalityEvaluator

public interface LocalityEvaluator

A locality evaluator.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isLocal(OWLAxiom axiom, Set<? extends OWLEntity> signature) Tests whether a given axiom is local with respect to a given signature.

Method Detail

isLocal

boolean isLocal(OWLAxiom axiom,
              Set<? extends OWLEntity> signature)

Tests whether a given axiom is local with respect to a given signature.

Parameters:

axiom - the axiom to test

signature - the signature to test against

Returns:

true if the axiom is local w.r.t. the signature; false otherwise