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
protected  Collection<OWLAxioms.DisjunctiveRule> OWLNormalization.RuleNormalizer.m_rules
           
 Collection<OWLAxioms.DisjunctiveRule> OWLAxioms.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(Collection<OWLAxioms.DisjunctiveRule> rules)
           
 

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



Copyright © 2012. All Rights Reserved.