com.clarkparsia.owlapi.modularity.locality

Class SemanticLocalityEvaluator

java.lang.Object

com.clarkparsia.owlapi.modularity.locality.SemanticLocalityEvaluator

All Implemented Interfaces:

LocalityEvaluator

public class SemanticLocalityEvaluator
extends Object
implements LocalityEvaluator

Semantic locality evaluator.

Field Summary

Fields

Modifier and Type	Field and Description
protected OWLDataFactory	df The df.
protected static Logger	log The Constant log.
protected OWLReasoner	reasoner The reasoner.

Constructor Summary

Constructors

Constructor and Description
SemanticLocalityEvaluator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory) Instantiates a new semantic locality evaluator.

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.

Methods inherited from class java.lang.Object

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

Field Detail

log

protected static final Logger log

The Constant log.

df

protected final OWLDataFactory df

The df.

reasoner

protected final OWLReasoner reasoner

The reasoner.

Constructor Detail

SemanticLocalityEvaluator

public SemanticLocalityEvaluator(OWLOntologyManager man,
                         OWLReasonerFactory reasonerFactory)

Instantiates a new semantic locality evaluator.

Parameters:

man - ontology manager

reasonerFactory - reasoner factory

Method Detail

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