|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectcom.clarkparsia.modularity.locality.SemanticLocalityEvaluator
public class SemanticLocalityEvaluator
Title: Description: Copyright: Copyright (c) 2007 Company: Clark & Parsia, LLC.
| Field Summary | |
|---|---|
static java.util.logging.Logger |
log
|
| Constructor Summary | |
|---|---|
SemanticLocalityEvaluator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory)
|
|
| Method Summary | |
|---|---|
boolean |
isLocal(OWLAxiom axiom,
java.util.Set<? extends OWLEntity> signature)
True if the axiom is semantically local w.r.t. given signature |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final java.util.logging.Logger log
| Constructor Detail |
|---|
public SemanticLocalityEvaluator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory)
| Method Detail |
|---|
public boolean isLocal(OWLAxiom axiom,
java.util.Set<? extends OWLEntity> signature)
isLocal in interface LocalityEvaluatoraxiom - The axiom to testsignature - The signature
true if the axiom is local w.r.t. given signature otherwise false
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||