org.coode.patterns.locality

Class SemanticLocalityEvaluator

java.lang.Object

org.coode.patterns.locality.SemanticLocalityEvaluator

All Implemented Interfaces:

LocalityEvaluator

public final class SemanticLocalityEvaluator
extends Object
implements LocalityEvaluator

Copyright: Copyright (c) 2007 Company: Clark & Parsia, LLC. clarkparsia

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
protected org.semanticweb.owlapi.model.OWLDataFactory	df
protected org.semanticweb.owlapi.reasoner.OWLReasoner	reasoner

Constructor Summary

Constructors

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

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) 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

df

protected org.semanticweb.owlapi.model.OWLDataFactory df

reasoner

protected org.semanticweb.owlapi.reasoner.OWLReasoner reasoner

Constructor Detail

SemanticLocalityEvaluator

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

Parameters:

man - man

reasoner - reasoner

Method Detail

isLocal

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

Returns:

true if the axiom is local w.r.t. given signature otherwise false