org.semanticweb.HermiT.structural
Class OWLClausification.NormalizedRuleClausifier

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


Field Summary
protected  java.util.Map<org.semanticweb.owlapi.model.OWLNamedIndividual,Variable> constantToVar
           
protected  int freshVarIndex
           
 java.util.List<java.util.List<Atom>> m_bodies
           
protected  java.util.List<Atom> m_bodyAtoms
           
protected  java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> m_bodyVars
           
protected  boolean m_containsIndividuals
           
protected  boolean m_containsVariables
           
protected  OWLClausification.DataRangeConverter m_dataRangeConverter
           
protected  java.util.Set<Variable> m_DLSafeVars
           
 java.util.List<java.util.Set<Variable>> m_DLSafeVarSets
           
 java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_graphRoles
           
protected  java.util.List<Atom> m_headAtoms
           
 java.util.List<java.util.List<Atom>> m_heads
           
protected  java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> m_headVars
           
protected  Atom m_lastAtom
           
protected  Variable m_lastVariable
           
protected  java.util.Set<Atom> m_negativeFacts
           
protected  java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectPropertiesUsedInAxioms
           
protected  java.util.Set<Atom> m_positiveFacts
           
protected  java.util.Set<org.semanticweb.owlapi.model.SWRLVariable> m_varsOfLastAtom
           
protected  java.util.Map<org.semanticweb.owlapi.model.OWLObjectProperty,java.util.Set<org.semanticweb.owlapi.model.SWRLRule>> unknownRoleInRule
           
 
Constructor Summary
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)
           
 
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
 

Field Detail

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

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

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