org.semanticweb.HermiT.structural
Class OWLNormalization.RuleNormalizer
java.lang.Object
org.semanticweb.HermiT.structural.OWLNormalization.RuleNormalizer
- All Implemented Interfaces:
- org.semanticweb.owlapi.model.SWRLObjectVisitor
- Enclosing class:
- OWLNormalization
protected final class OWLNormalization.RuleNormalizer
- extends java.lang.Object
- implements org.semanticweb.owlapi.model.SWRLObjectVisitor
Constructor Summary |
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)
|
Method Summary |
protected org.semanticweb.owlapi.model.SWRLVariable |
getFreshVariable()
|
protected org.semanticweb.owlapi.model.SWRLVariable |
getVariableFor(org.semanticweb.owlapi.model.SWRLIArgument term)
|
void |
visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom at)
|
void |
visit(org.semanticweb.owlapi.model.SWRLClassAtom at)
|
void |
visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom at)
|
void |
visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom at)
|
void |
visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom at)
|
void |
visit(org.semanticweb.owlapi.model.SWRLIndividualArgument argument)
|
void |
visit(org.semanticweb.owlapi.model.SWRLLiteralArgument argument)
|
void |
visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom at)
|
void |
visit(org.semanticweb.owlapi.model.SWRLRule rule)
|
void |
visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom at)
|
void |
visit(org.semanticweb.owlapi.model.SWRLVariable variable)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_rules
protected final java.util.Collection<OWLAxioms.DisjunctiveRule> m_rules
m_classExpressionInclusions
protected final java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> m_classExpressionInclusions
m_dataRangeInclusions
protected final java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_dataRangeInclusions
m_alreadyExists
protected final boolean[] m_alreadyExists
m_bodyAtoms
protected final java.util.List<org.semanticweb.owlapi.model.SWRLAtom> m_bodyAtoms
m_headAtoms
protected final java.util.List<org.semanticweb.owlapi.model.SWRLAtom> m_headAtoms
m_normalizedBodyAtoms
protected final java.util.Set<org.semanticweb.owlapi.model.SWRLAtom> m_normalizedBodyAtoms
m_normalizedHeadAtoms
protected final java.util.Set<org.semanticweb.owlapi.model.SWRLAtom> m_normalizedHeadAtoms
m_variableRepresentative
protected final java.util.Map<org.semanticweb.owlapi.model.SWRLVariable,org.semanticweb.owlapi.model.SWRLVariable> m_variableRepresentative
m_individualsToVariables
protected final java.util.Map<org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.SWRLVariable> m_individualsToVariables
m_bodyDataRangeVariables
protected final java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> m_bodyDataRangeVariables
m_headDataRangeVariables
protected final java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> m_headDataRangeVariables
m_newVariableIndex
protected int m_newVariableIndex
m_isPositive
protected boolean m_isPositive
OWLNormalization.RuleNormalizer
public 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)
visit
public void visit(org.semanticweb.owlapi.model.SWRLRule rule)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLClassAtom at)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom at)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom at)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom at)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom at)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom at)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom at)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLVariable variable)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLIndividualArgument argument)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLLiteralArgument argument)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
getVariableFor
protected org.semanticweb.owlapi.model.SWRLVariable getVariableFor(org.semanticweb.owlapi.model.SWRLIArgument term)
getFreshVariable
protected org.semanticweb.owlapi.model.SWRLVariable getFreshVariable()