com.clarkparsia.owlapi.modularity.locality
Class SyntacticLocalityEvaluator

java.lang.Object
  com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator

All Implemented Interfaces:

LocalityEvaluator

public class SyntacticLocalityEvaluator
extends java.lang.Object
implements LocalityEvaluator

Title:

Description: Implements syntactic locality evaluation for axioms

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Essential bug fixes by Thomas Schneider, School of Computer Science, University of Manchester

Constructor Summary

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

Method Summary

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.

Methods inherited from class java.lang.Object

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

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 java.util.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,
                       java.util.Set<? extends OWLEntity> signature)

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