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)