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 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 |
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
OWLNormalization.RuleNormalizer
public OWLNormalization.RuleNormalizer(java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> newInclusionsFromRules,
java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> newDataRangeInclusions)
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)