org.semanticweb.owlapi.modularity.locality

Class SemanticLocalityEvaluator

java.lang.Object

org.semanticweb.owlapi.modularity.locality.SemanticLocalityEvaluator

All Implemented Interfaces:

LocalityEvaluator

public class SemanticLocalityEvaluator
extends Object
implements LocalityEvaluator

Thread safe class for checking semantic locality.

Author:

Marc Robin Nolte (modified version)

Constructor Summary

Constructors

Constructor and Description
SemanticLocalityEvaluator(LocalityClass localityClass, OWLOntologyManager ontologyManager, OWLReasonerFactory reasonerFactory) Instantiates a new SemanticLocalityEvaluator

Method Summary

Modifier and Type	Method and Description
boolean	isLocal(OWLAxiom axiom, Collection<OWLEntity> signature) Tests whether the given axiom is local with respect to the given signature.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.modularity.locality.LocalityEvaluator

isLocal

Constructor Detail

SemanticLocalityEvaluator

public SemanticLocalityEvaluator(LocalityClass localityClass,
                                 OWLOntologyManager ontologyManager,
                                 OWLReasonerFactory reasonerFactory)

Instantiates a new SemanticLocalityEvaluator

Parameters:

localityClass - The LocalityClass to use. Must be one of BOTTOM or TOP

ontologyManager - The OWLOntologyManager to create a reasoner with

reasonerFactory - The OWLReasonerFactory to create a reasoner with

Method Detail

isLocal

public boolean isLocal(OWLAxiom axiom,
                       Collection<OWLEntity> signature)

Description copied from interface: LocalityEvaluator

Tests whether the given axiom is local with respect to the given signature. For efficient computation, the given collection should run Collection.contains(Object) in O(1).

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