@FunctionalInterface public interface LocalityEvaluator
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.
|
boolean isLocal(OWLAxiom axiom, Collection<OWLEntity> signature)
Collection.contains(Object)
in O(1).axiom
- the axiom to testsignature
- the signature to test againsttrue
if the axiom is local w.r.t. the signature; false
otherwisedefault boolean isLocal(OWLAxiom axiom, Stream<OWLEntity> signature)
axiom
- the axiom to testsignature
- the signature to test againsttrue
if the axiom is local w.r.t. the signature; false
otherwiseCopyright © 2020 The University of Manchester. All rights reserved.