com.clarkparsia.owlapi.modularity.locality
Class SemanticLocalityEvaluator

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

All Implemented Interfaces:

LocalityEvaluator

public class SemanticLocalityEvaluator
extends java.lang.Object
implements LocalityEvaluator

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

static java.util.logging.Logger

log

Constructor Summary

SemanticLocalityEvaluator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory)

Method Summary

boolean

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

Methods inherited from class java.lang.Object

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

Field Detail

log

public static final java.util.logging.Logger log

Constructor Detail

SemanticLocalityEvaluator

public SemanticLocalityEvaluator(OWLOntologyManager man,
                                 OWLReasonerFactory reasonerFactory)

Method Detail

isLocal

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

True if the axiom is semantically local w.r.t. 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