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 Object
implements org.semanticweb.owlapi.model.OWLDataVisitor


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

m_headAtoms

protected final List<Atom> m_headAtoms

m_bodyAtoms

protected final 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,
                                                            Set<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


Copyright © 2012. All Rights Reserved.