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(@Nonnull OWLOntologyManager man, @Nonnull OWLReasonerFactory reasonerFactory)
man
- ontology managerreasonerFactory
- reasoner factorypublic boolean isLocal(@Nonnull OWLAxiom axiom, @Nonnull 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 © 2020 The University of Manchester. All rights reserved.