|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EntailmentChecker.Edge | |
---|---|
org.semanticweb.HermiT |
Uses of EntailmentChecker.Edge in org.semanticweb.HermiT |
---|
Fields in org.semanticweb.HermiT with type parameters of type EntailmentChecker.Edge | |
---|---|
protected java.util.Map<EntailmentChecker.Edge,org.semanticweb.owlapi.model.OWLObjectProperty> |
EntailmentChecker.AnonymousIndividualForestBuilder.edgeOPLabels
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |