public class SemanticLocalityEvaluator extends Object implements LocalityEvaluator
Constructor and Description |
---|
SemanticLocalityEvaluator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory)
Instantiates a new semantic locality evaluator.
|
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.
|
public SemanticLocalityEvaluator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory)
man
- ontology managerreasonerFactory
- reasoner factorypublic boolean isLocal(OWLAxiom axiom, Set<? extends OWLEntity> signature)
LocalityEvaluator
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
otherwiseCopyright © 2017 The University of Manchester. All Rights Reserved.