org.semanticweb.HermiT.structural
Class OWLClausification.NormalizedRuleClausifier
java.lang.Object
org.semanticweb.HermiT.structural.OWLClausification.NormalizedRuleClausifier
- All Implemented Interfaces:
- org.semanticweb.owlapi.model.SWRLObjectVisitor
- Enclosing class:
- OWLClausification
protected class OWLClausification.NormalizedRuleClausifier
- extends java.lang.Object
- implements org.semanticweb.owlapi.model.SWRLObjectVisitor
Method Summary |
protected void |
checkStrictSeparation(org.semanticweb.owlapi.model.SWRLRule rule)
|
void |
visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom node)
|
void |
visit(org.semanticweb.owlapi.model.SWRLClassAtom atom)
|
void |
visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom atom)
|
void |
visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom atom)
|
void |
visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom atom)
|
void |
visit(org.semanticweb.owlapi.model.SWRLIndividualArgument atom)
|
void |
visit(org.semanticweb.owlapi.model.SWRLLiteralArgument arg)
|
void |
visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom atom)
|
void |
visit(org.semanticweb.owlapi.model.SWRLRule rule)
|
void |
visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom atom)
|
void |
visit(org.semanticweb.owlapi.model.SWRLVariable node)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_dataRangeConverter
protected final OWLClausification.DataRangeConverter m_dataRangeConverter
m_objectPropertiesUsedInAxioms
protected final java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectPropertiesUsedInAxioms
m_headAtoms
protected final java.util.List<Atom> m_headAtoms
m_bodyAtoms
protected final java.util.List<Atom> m_bodyAtoms
m_DLSafeVars
protected final java.util.Set<Variable> m_DLSafeVars
m_heads
public final java.util.List<java.util.List<Atom>> m_heads
m_bodies
public final java.util.List<java.util.List<Atom>> m_bodies
m_DLSafeVarSets
public final java.util.List<java.util.Set<Variable>> m_DLSafeVarSets
m_positiveFacts
protected final java.util.Set<Atom> m_positiveFacts
m_negativeFacts
protected final java.util.Set<Atom> m_negativeFacts
m_lastVariable
protected Variable m_lastVariable
m_lastAtom
protected Atom m_lastAtom
m_headVars
protected final java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> m_headVars
m_bodyVars
protected final java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> m_bodyVars
m_varsOfLastAtom
protected final java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> m_varsOfLastAtom
m_containsIndividuals
protected boolean m_containsIndividuals
m_containsVariables
protected boolean m_containsVariables
m_graphRoles
public final java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_graphRoles
unknownRoleInRule
protected final java.util.Map<org.semanticweb.owlapi.model.OWLObjectProperty,java.util.Set<org.semanticweb.owlapi.model.SWRLRule>> unknownRoleInRule
freshVarIndex
protected int freshVarIndex
constantToVar
protected final java.util.Map<org.semanticweb.owlapi.model.OWLNamedIndividual,Variable> constantToVar
OWLClausification.NormalizedRuleClausifier
public OWLClausification.NormalizedRuleClausifier(java.util.Set<Atom> positiveFacts,
java.util.Set<Atom> negativeFacts,
java.util.Collection<DescriptionGraph> dGraphs,
java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> objectPropertiesUsedInAxioms,
OWLClausification.DataRangeConverter dataRangeConverter)
checkStrictSeparation
protected void checkStrictSeparation(org.semanticweb.owlapi.model.SWRLRule rule)
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 atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom node)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLVariable node)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLIndividualArgument atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLLiteralArgument arg)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor
visit
public void visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitor