com.clarkparsia.owlapi.modularity.locality

Class SyntacticLocalityEvaluator

java.lang.Object

com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator

All Implemented Interfaces:

LocalityEvaluator

public class SyntacticLocalityEvaluator
extends Object
implements LocalityEvaluator

Syntactic locality evaluator.

Constructor Summary

Constructors

Constructor and Description
SyntacticLocalityEvaluator(LocalityClass localityClass) Constructs a new locality evaluator for the given locality class.

Method Summary

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.
static Set<LocalityClass>	supportedLocalityClasses() Returns all supported locality classes.

Methods inherited from class java.lang.Object

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

Constructor Detail

SyntacticLocalityEvaluator

public SyntacticLocalityEvaluator(@Nonnull
                                  LocalityClass localityClass)

Constructs a new locality evaluator for the given locality class.

Parameters:

localityClass - the locality class for this evaluator

Method Detail

supportedLocalityClasses

public static Set<LocalityClass> supportedLocalityClasses()

Returns all supported locality classes.

Returns:

a set containing all supported locality classes

isLocal

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

Description copied from interface: LocalityEvaluator

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

Specified by:

isLocal in interface LocalityEvaluator

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