org.semanticweb.HermiT.structural
Class OWLClausification.NormalizedDataRangeAxiomClausifier

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


Field Summary
protected  java.util.List<Atom> m_bodyAtoms
           
protected  OWLClausification.DataRangeConverter m_dataRangeConverter
           
protected  java.util.Set<java.lang.String> m_definedDatatypeIRIs
           
protected  org.semanticweb.owlapi.model.OWLDataFactory m_factory
           
protected  java.util.List<Atom> m_headAtoms
           
protected  int m_yIndex
           
 
Constructor Summary
OWLClausification.NormalizedDataRangeAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter, org.semanticweb.owlapi.model.OWLDataFactory factory, java.util.Set<java.lang.String> definedDatatypeIRIs)
           
 
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
 

Field Detail

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

OWLClausification.NormalizedDataRangeAxiomClausifier

public OWLClausification.NormalizedDataRangeAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter,
                                                            org.semanticweb.owlapi.model.OWLDataFactory factory,
                                                            java.util.Set<java.lang.String> definedDatatypeIRIs)
Method Detail

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