org.semanticweb.owlapi.modularity.locality

Interface LocalityEvaluator

All Known Implementing Classes:

SemanticLocalityEvaluator, SyntacticLocalityEvaluator

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface LocalityEvaluator

Interface for classes that test whether an axiom is local with respect to a signature.

Author:

Marc Robin Nolte (modified version)

Method Summary

Modifier and Type	Method and Description
boolean	isLocal(OWLAxiom axiom, Collection<OWLEntity> signature) Tests whether the given axiom is local with respect to the given signature.
default boolean	isLocal(OWLAxiom axiom, Stream<OWLEntity> signature) Tests whether the given axiom is local with respect to the given signature.

Method Detail

isLocal

boolean isLocal(OWLAxiom axiom,
                Collection<OWLEntity> signature)

Tests whether the given axiom is local with respect to the given signature. For efficient computation, the given collection should run Collection.contains(Object) in O(1).

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

isLocal

default boolean isLocal(OWLAxiom axiom,
                        Stream<OWLEntity> signature)

Tests whether the given axiom is local with respect to the 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