com.clarkparsia.owlapi.modularity.locality
Interface LocalityEvaluator

All Known Implementing Classes:

SemanticLocalityEvaluator, SyntacticLocalityEvaluator

public interface LocalityEvaluator

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Method Summary

boolean

isLocal(OWLAxiom axiom, java.util.Set<? extends OWLEntity> signature) Tests whether a given axiom is local with respect to a given signature.

Method Detail

isLocal

boolean isLocal(OWLAxiom axiom,
                java.util.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