Uses of Class
org.semanticweb.HermiT.EntailmentChecker.Edge

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