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(org.semanticweb.owlapi.model.OWLAxiom axiom, Set<? extends org.semanticweb.owlapi.model.OWLEntity> signature) Tests whether a given axiom is local with respect to a given signature.

Method Detail

isLocal

boolean isLocal(org.semanticweb.owlapi.model.OWLAxiom axiom,
              Set<? extends org.semanticweb.owlapi.model.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