org.semanticweb.HermiT.structural
Class OWLNormalization.RuleNormalizer

java.lang.Object
  extended by 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


Field Summary
protected  boolean[] m_alreadyExists
           
protected  java.util.List<org.semanticweb.owlapi.model.SWRLAtom> m_bodyAtoms
           
protected  java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> m_bodyDataRangeVariables
           
protected  java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> m_classExpressionInclusions
           
protected  java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_dataRangeInclusions
           
protected  java.util.List<org.semanticweb.owlapi.model.SWRLAtom> m_headAtoms
           
protected  java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> m_headDataRangeVariables
           
protected  java.util.Map<org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.SWRLVariable> m_individualsToVariables
           
protected  boolean m_isPositive
           
protected  int m_newVariableIndex
           
protected  java.util.Set<org.semanticweb.owlapi.model.SWRLAtom> m_normalizedBodyAtoms
           
protected  java.util.Set<org.semanticweb.owlapi.model.SWRLAtom> m_normalizedHeadAtoms
           
protected  java.util.Collection<OWLAxioms.DisjunctiveRule> m_rules
           
protected  java.util.Map<org.semanticweb.owlapi.model.SWRLVariable,org.semanticweb.owlapi.model.SWRLVariable> m_variableRepresentative
           
 
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
 

Field Detail

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
Constructor Detail

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)
Method Detail

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()