public class SemanticLocalityEvaluator extends java.lang.Object implements LocalityEvaluator
Modifier and Type | Field and Description |
---|---|
protected OWLDataFactory |
df |
protected static java.util.logging.Logger |
log |
protected OWLReasoner |
reasoner |
Constructor and Description |
---|
SemanticLocalityEvaluator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory) |
protected static final java.util.logging.Logger log
protected final OWLDataFactory df
protected final OWLReasoner reasoner
public SemanticLocalityEvaluator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory)
man
- ontology managerreasonerFactory
- reasoner factorypublic boolean isLocal(OWLAxiom axiom, java.util.Set<? extends OWLEntity> signature)
isLocal
in interface LocalityEvaluator
axiom
- the axiom to testsignature
- the signature to test againsttrue
if the axiom is local w.r.t. the signature; false
otherwise