public class SyntacticLocalityEvaluator extends java.lang.Object implements LocalityEvaluator
Modifier and Type | Field and Description |
---|---|
protected LocalityClass |
localityCls |
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,
java.util.Set<? extends OWLEntity> signature)
Tests whether a given axiom is local with respect to a given signature.
|
protected static boolean |
isTopOrBuiltInDatatype(OWLDataRange dataRange)
This is a convenience method for determining whether a given data range expression is the top datatype
or a built-in datatype.
|
protected static boolean |
isTopOrBuiltInInfiniteDatatype(OWLDataRange dataRange)
This is a convenience method for determining whether a given data range expression is the top datatype
or a built-in infinite datatype.
|
java.util.Set<LocalityClass> |
supportedLocalityClasses()
Returns all supported locality classes.
|
protected final LocalityClass localityCls
public SyntacticLocalityEvaluator(LocalityClass localityClass)
localityClass
- the locality class for this evaluatorpublic java.util.Set<LocalityClass> supportedLocalityClasses()
protected static boolean isTopOrBuiltInDatatype(OWLDataRange dataRange)
dataRange
- a data range expressiontrue
if the specified data range expression is the top datatype
or a built-in datatype; false
otherwiseprotected static boolean isTopOrBuiltInInfiniteDatatype(OWLDataRange dataRange)
dataRange
- a data range expressiontrue
if the specified data range expression is the top datatype
or a built-in infinite datatype; false
otherwisepublic boolean isLocal(OWLAxiom axiom, java.util.Set<? extends OWLEntity> signature)
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
otherwise