org.semanticweb.HermiT.structural
Class OWLNormalization.Rule2FactConverter
java.lang.Object
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
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 |
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
OWLNormalization.Rule2FactConverter
public OWLNormalization.Rule2FactConverter(java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> newInclusions)
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)