org.semanticweb.HermiT.structural
Class OWLNormalization.Rule2FactConverter

java.lang.Object
  extended by org.semanticweb.HermiT.structural.OWLNormalization.Rule2FactConverter
All Implemented Interfaces:
org.semanticweb.owlapi.model.SWRLObjectVisitor
Enclosing class:
OWLNormalization

protected class OWLNormalization.Rule2FactConverter
extends java.lang.Object
implements org.semanticweb.owlapi.model.SWRLObjectVisitor


Field Summary
protected  int freshDataProperties
           
protected  int freshIndividuals
           
protected  boolean[] m_alreadyExists
           
protected  java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> m_newInclusions
           
 
Constructor Summary
OWLNormalization.Rule2FactConverter(java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> newInclusions)
           
 
Method Summary
protected  org.semanticweb.owlapi.model.OWLDataProperty getFreshDataProperty()
           
protected  org.semanticweb.owlapi.model.OWLNamedIndividual getFreshIndividual()
           
protected  void throwAnonIndError(org.semanticweb.owlapi.model.SWRLAtom atom)
           
protected  void throwVarError(org.semanticweb.owlapi.model.SWRLAtom atom)
           
 void visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom atom)
           
 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 argument)
           
 void visit(org.semanticweb.owlapi.model.SWRLLiteralArgument argument)
           
 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 variable)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_alreadyExists

protected final boolean[] m_alreadyExists

m_newInclusions

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

freshDataProperties

protected int freshDataProperties

freshIndividuals

protected int freshIndividuals
Constructor Detail

OWLNormalization.Rule2FactConverter

public OWLNormalization.Rule2FactConverter(java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> newInclusions)
Method Detail

getFreshIndividual

protected org.semanticweb.owlapi.model.OWLNamedIndividual getFreshIndividual()

getFreshDataProperty

protected org.semanticweb.owlapi.model.OWLDataProperty getFreshDataProperty()

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

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

throwAnonIndError

protected void throwAnonIndError(org.semanticweb.owlapi.model.SWRLAtom atom)

throwVarError

protected void throwVarError(org.semanticweb.owlapi.model.SWRLAtom atom)