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.

Constructor Summary

Constructors

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

Method Summary

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

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

Constructor Detail

SemanticLocalityEvaluator

public SemanticLocalityEvaluator(@Nonnull
                                 OWLOntologyManager man,
                                 @Nonnull
                                 OWLReasonerFactory reasonerFactory)

Instantiates a new semantic locality evaluator.

Parameters:

man - ontology manager

reasonerFactory - reasoner factory

Method Detail

isLocal

public boolean isLocal(@Nonnull
                       OWLAxiom axiom,
                       @Nonnull
                       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