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 class OWLNormalization.RuleNormalizer
extends java.lang.Object
implements org.semanticweb.owlapi.model.SWRLObjectVisitor


Field Summary
protected  java.util.List<org.semanticweb.owlapi.model.SWRLAtom> bodyAtoms
           
protected  java.util.Map<org.semanticweb.owlapi.model.SWRLVariable,org.semanticweb.owlapi.model.OWLDataRange> dataRangeAtoms
           
protected  java.util.List<org.semanticweb.owlapi.model.SWRLAtom> headAtoms
           
protected  java.util.Map<org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.SWRLVariable> indToVar
           
protected  java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> literalVarsInDPBodyAtoms
           
protected  java.util.Map<org.semanticweb.owlapi.model.OWLLiteral,org.semanticweb.owlapi.model.SWRLVariable> litToVar
           
protected  boolean[] m_alreadyExists
           
protected  java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_newDataRangeInclusions
           
protected  java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> m_newInclusionsFromRules
           
protected  java.util.Collection<org.semanticweb.owlapi.model.SWRLRule> m_normalizedRules
           
protected  int newVarIndex
           
protected  java.util.Set<org.semanticweb.owlapi.model.SWRLAtom> normalizedBodyAtoms
           
protected  java.util.Set<org.semanticweb.owlapi.model.SWRLAtom> normalizedHeadAtoms
           
protected  boolean positive
           
 
Constructor Summary
OWLNormalization.RuleNormalizer(java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> newInclusionsFromRules, java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> newDataRangeInclusions)
           
 
Method Summary
protected  org.semanticweb.owlapi.model.SWRLVariable indToVar(org.semanticweb.owlapi.model.SWRLIArgument arg)
           
protected  void initialize()
           
 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_normalizedRules

protected final java.util.Collection<org.semanticweb.owlapi.model.SWRLRule> m_normalizedRules

m_newInclusionsFromRules

protected final java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> m_newInclusionsFromRules

m_newDataRangeInclusions

protected final java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_newDataRangeInclusions

m_alreadyExists

protected final boolean[] m_alreadyExists

positive

protected boolean positive

bodyAtoms

protected final java.util.List<org.semanticweb.owlapi.model.SWRLAtom> bodyAtoms

headAtoms

protected final java.util.List<org.semanticweb.owlapi.model.SWRLAtom> headAtoms

normalizedBodyAtoms

protected final java.util.Set<org.semanticweb.owlapi.model.SWRLAtom> normalizedBodyAtoms

normalizedHeadAtoms

protected final java.util.Set<org.semanticweb.owlapi.model.SWRLAtom> normalizedHeadAtoms

dataRangeAtoms

protected final java.util.Map<org.semanticweb.owlapi.model.SWRLVariable,org.semanticweb.owlapi.model.OWLDataRange> dataRangeAtoms

litToVar

protected final java.util.Map<org.semanticweb.owlapi.model.OWLLiteral,org.semanticweb.owlapi.model.SWRLVariable> litToVar

indToVar

protected final java.util.Map<org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.SWRLVariable> indToVar

literalVarsInDPBodyAtoms

protected final java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> literalVarsInDPBodyAtoms

newVarIndex

protected int newVarIndex
Constructor Detail

OWLNormalization.RuleNormalizer

public OWLNormalization.RuleNormalizer(java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> newInclusionsFromRules,
                                       java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> newDataRangeInclusions)
Method Detail

initialize

protected void initialize()

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

indToVar

protected org.semanticweb.owlapi.model.SWRLVariable indToVar(org.semanticweb.owlapi.model.SWRLIArgument arg)