com.clarkparsia.modularity.locality
Class SyntacticLocalityEvaluator

java.lang.Object
  com.clarkparsia.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

Constructor Summary

SyntacticLocalityEvaluator(LocalityClass localityClass)

Method Summary

boolean	isLocal(OWLAxiom axiom, java.util.Set<? extends OWLEntity> signature) True if the axiom is syntactically local w.r.t.
java.util.Set<LocalityClass>	supportedLocalityClasses()

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)

Method Detail

supportedLocalityClasses

public java.util.Set<LocalityClass> supportedLocalityClasses()

isLocal

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

True if the axiom is syntactically local w.r.t. given signature

Specified by:

isLocal in interface LocalityEvaluator

Parameters:

axiom - The axiom to test

signature - The signature

Returns:

true if the axiom is local w.r.t. given signature otherwise false