com.clarkparsia.owlapi.modularity.locality

Class SyntacticLocalityEvaluator

java.lang.Object

com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator

All Implemented Interfaces:

LocalityEvaluator

public class SyntacticLocalityEvaluator
extends Object
implements LocalityEvaluator

Syntactic locality evaluator.

Field Summary

Fields

Modifier and Type	Field and Description
protected LocalityClass	localityCls The locality cls.

Constructor Summary

Constructors

Constructor and Description
SyntacticLocalityEvaluator(LocalityClass localityClass) Constructs a new locality evaluator for the given locality class.

Method Summary

Methods

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.
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.
Set<LocalityClass>	supportedLocalityClasses() Returns all supported locality classes.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

localityCls

protected final LocalityClass localityCls

The locality cls.

Constructor Detail

SyntacticLocalityEvaluator

public SyntacticLocalityEvaluator(LocalityClass localityClass)

Constructs a new locality evaluator for the given locality class.

Parameters:

localityClass - the locality class for this evaluator

Method Detail

supportedLocalityClasses

public Set<LocalityClass> supportedLocalityClasses()

Returns all supported locality classes.

Returns:

a set containing all supported locality classes

isTopOrBuiltInDatatype

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. This is used in the bottom- and top-equivalence evaluators for treating cardinality restrictions.

Parameters:

dataRange - a data range expression

Returns:

true if the specified data range expression is the top datatype or a built-in datatype; false otherwise

isTopOrBuiltInInfiniteDatatype

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. This is used in the bottom- and top-equivalence evaluators for treating cardinality restrictions.

Parameters:

dataRange - a data range expression

Returns:

true if the specified data range expression is the top datatype or a built-in infinite datatype; false otherwise

isLocal

public boolean isLocal(OWLAxiom axiom,
              Set<? extends OWLEntity> signature)

Description copied from interface: LocalityEvaluator

Tests whether a given axiom is local with respect to a given signature.

Specified by:

isLocal in interface LocalityEvaluator

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