public class SyntacticLocalityEvaluator extends Object implements LocalityEvaluator
Constructor and Description |
---|
SyntacticLocalityEvaluator(LocalityClass localityClass)
Constructs a new locality evaluator for the given locality class.
|
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.
|
public SyntacticLocalityEvaluator(@Nonnull LocalityClass localityClass)
localityClass
- the locality class for this evaluatorpublic static Set<LocalityClass> supportedLocalityClasses()
public boolean isLocal(OWLAxiom axiom, Set<? extends OWLEntity> signature)
LocalityEvaluator
isLocal
in interface LocalityEvaluator
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.