|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 java.util.Collection<OWLAxioms.DisjunctiveRule> |
OWLNormalization.RuleNormalizer.m_rules
|
java.util.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(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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |