public class SemanticLocalityEvaluator extends Object implements LocalityEvaluator
Constructor and Description |
---|
SemanticLocalityEvaluator(LocalityClass localityClass,
OWLOntologyManager ontologyManager,
OWLReasonerFactory reasonerFactory)
Instantiates a new
SemanticLocalityEvaluator |
Modifier and Type | Method and Description |
---|---|
boolean |
isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature)
Tests whether the given axiom is local with respect to the given signature.
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isLocal
public SemanticLocalityEvaluator(LocalityClass localityClass, OWLOntologyManager ontologyManager, OWLReasonerFactory reasonerFactory)
SemanticLocalityEvaluator
localityClass
- The LocalityClass
to use. Must be one of BOTTOM or TOPontologyManager
- The OWLOntologyManager
to create a reasoner withreasonerFactory
- The OWLReasonerFactory
to create a reasoner withpublic boolean isLocal(OWLAxiom axiom, Collection<OWLEntity> signature)
LocalityEvaluator
Collection.contains(Object)
in O(1).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.