|
||||||||||
| 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 | |||||||||