org.semanticweb.HermiT.structural
Class OWLClausification.NormalizedDataRangeAxiomClausifier
java.lang.Object
org.semanticweb.HermiT.structural.OWLClausification.NormalizedDataRangeAxiomClausifier
- All Implemented Interfaces:
- org.semanticweb.owlapi.model.OWLDataRangeVisitor, org.semanticweb.owlapi.model.OWLDataVisitor
- Enclosing class:
- OWLClausification
protected static class OWLClausification.NormalizedDataRangeAxiomClausifier
- extends java.lang.Object
- implements org.semanticweb.owlapi.model.OWLDataVisitor
Method Summary |
protected void |
ensureYNotZero()
|
protected DLClause |
getDLClause()
|
protected Variable |
nextY()
|
void |
visit(org.semanticweb.owlapi.model.OWLDataComplementOf dr)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf dr)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataOneOf object)
|
void |
visit(org.semanticweb.owlapi.model.OWLDatatype dt)
|
void |
visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node)
|
void |
visit(org.semanticweb.owlapi.model.OWLDataUnionOf dr)
|
void |
visit(org.semanticweb.owlapi.model.OWLFacetRestriction node)
|
void |
visit(org.semanticweb.owlapi.model.OWLLiteral 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_definedDatatypeIRIs
protected final java.util.Set<java.lang.String> m_definedDatatypeIRIs
m_headAtoms
protected final java.util.List<Atom> m_headAtoms
m_bodyAtoms
protected final java.util.List<Atom> m_bodyAtoms
m_factory
protected final org.semanticweb.owlapi.model.OWLDataFactory m_factory
m_yIndex
protected int m_yIndex
OWLClausification.NormalizedDataRangeAxiomClausifier
public OWLClausification.NormalizedDataRangeAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter,
org.semanticweb.owlapi.model.OWLDataFactory factory,
java.util.Set<java.lang.String> definedDatatypeIRIs)
getDLClause
protected DLClause getDLClause()
ensureYNotZero
protected void ensureYNotZero()
nextY
protected Variable nextY()
visit
public void visit(org.semanticweb.owlapi.model.OWLDatatype dt)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf dr)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDataUnionOf dr)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDataComplementOf dr)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDataOneOf object)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLFacetRestriction node)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor
visit
public void visit(org.semanticweb.owlapi.model.OWLLiteral node)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.OWLDataVisitor