Uses of Class
org.semanticweb.HermiT.structural.OWLAxioms.DisjunctiveRule

Packages that use OWLAxioms.DisjunctiveRule
org.semanticweb.HermiT.structural   
 

Uses of OWLAxioms.DisjunctiveRule in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural with type parameters of type OWLAxioms.DisjunctiveRule
 java.util.Collection<OWLAxioms.DisjunctiveRule> OWLAxioms.m_rules
           
protected  java.util.Collection<OWLAxioms.DisjunctiveRule> OWLNormalization.RuleNormalizer.m_rules
           
 

Methods in org.semanticweb.HermiT.structural with parameters of type OWLAxioms.DisjunctiveRule
protected  void OWLClausification.NormalizedRuleClausifier.clausify(OWLAxioms.DisjunctiveRule rule, boolean restrictToNamed)
           
protected  void OWLClausification.NormalizedRuleClausifier.determineRuleType(OWLAxioms.DisjunctiveRule rule)
           
protected  void OWLClausification.NormalizedRuleClausifier.determineUndeterminedObjectProperties(OWLAxioms.DisjunctiveRule rule)
           
 

Method parameters in org.semanticweb.HermiT.structural with type arguments of type OWLAxioms.DisjunctiveRule
 void OWLClausification.NormalizedRuleClausifier.processRules(java.util.Collection<OWLAxioms.DisjunctiveRule> rules)
           
 

Constructor parameters in org.semanticweb.HermiT.structural with type arguments of type OWLAxioms.DisjunctiveRule
OWLNormalization.RuleNormalizer(java.util.Collection<OWLAxioms.DisjunctiveRule> rules, java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> classExpressionInclusionsFromRules, java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> newDataRangeInclusions)