public enum SyntacticLocalityEvaluator extends Enum<SyntacticLocalityEvaluator> implements LocalityEvaluator
Enum Constant and Description |
---|
BOTTOM
The
SyntacticLocalityEvaluator for \bottom-locality: Locality class obtained when
concepts and roles not present in the signature are given empty interpretations. |
TOP
The
SyntacticLocalityEvaluator for \top-locality: Locality class obtained when
concepts not present in the signature are given top concept interpretation, roles not present
are universal role interpretation. |
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.
|
static SyntacticLocalityEvaluator |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static SyntacticLocalityEvaluator[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
isLocal
public static final SyntacticLocalityEvaluator BOTTOM
SyntacticLocalityEvaluator
for \bottom-locality: Locality class obtained when
concepts and roles not present in the signature are given empty interpretations. In the
literature, $\emptyset$ for semantic and $\bottom$ for syntactic locality.public static final SyntacticLocalityEvaluator TOP
SyntacticLocalityEvaluator
for \top-locality: Locality class obtained when
concepts not present in the signature are given top concept interpretation, roles not present
are universal role interpretation. In the literature, $\Delta$ for semantic and $\top$ for
syntactic locality.public static SyntacticLocalityEvaluator[] values()
for (SyntacticLocalityEvaluator c : SyntacticLocalityEvaluator.values()) System.out.println(c);
public static SyntacticLocalityEvaluator valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic final boolean isLocal(OWLAxiom axiom, Collection<OWLEntity> signature)
LocalityEvaluator
Collection.contains(Object)
in O(1).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.