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 org.semanticweb.owlapi.model.OWLDataFactory	df
protected static Logger	log
protected org.semanticweb.owlapi.reasoner.OWLReasoner	reasoner

Constructor Summary

Constructors

Constructor and Description
SemanticLocalityEvaluator(org.semanticweb.owlapi.model.OWLOntologyManager man, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isLocal(org.semanticweb.owlapi.model.OWLAxiom axiom, Set<? extends org.semanticweb.owlapi.model.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

df

protected final org.semanticweb.owlapi.model.OWLDataFactory df

reasoner

protected final org.semanticweb.owlapi.reasoner.OWLReasoner reasoner

Constructor Detail

SemanticLocalityEvaluator

public SemanticLocalityEvaluator(org.semanticweb.owlapi.model.OWLOntologyManager man,
                         org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

Parameters:

man - ontology manager

reasonerFactory - reasoner factory

Method Detail

isLocal

public boolean isLocal(org.semanticweb.owlapi.model.OWLAxiom axiom,
              Set<? extends org.semanticweb.owlapi.model.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