org.semanticweb.HermiT.structural
Class OWLClausification.NormalizedAxiomClausifier

java.lang.Object
  extended by org.semanticweb.HermiT.structural.OWLClausification.NormalizedAxiomClausifier
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLClassExpressionVisitor
Enclosing class:
OWLClausification

protected static class OWLClausification.NormalizedAxiomClausifier
extends java.lang.Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor


Field Summary
static java.util.Map<java.lang.String,java.lang.Long> dt2maxRangeCardinality
           
protected  java.util.List<Atom> m_bodyAtoms
           
protected  OWLClausification.DataRangeConverter m_dataRangeConverter
           
protected  java.util.Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLDatatype> m_dps2ranges
           
protected  org.semanticweb.owlapi.model.OWLDataFactory m_factory
           
protected  java.util.List<Atom> m_headAtoms
           
protected  java.util.Set<Atom> m_positiveFacts
           
protected  int m_yIndex
           
protected  int m_zIndex
           
 
Constructor Summary
OWLClausification.NormalizedAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter, java.util.Set<Atom> positiveFacts, org.semanticweb.owlapi.model.OWLDataFactory factory, java.util.Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLDatatype> dps2ranges)
           
 
Method Summary
protected  void ensureYNotZero()
           
protected  AtomicConcept getConceptForNominal(org.semanticweb.owlapi.model.OWLIndividual individual)
           
protected  DLClause getDLClause()
           
protected  Variable nextY()
           
protected  Variable nextZ()
           
 void visit(org.semanticweb.owlapi.model.OWLClass object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataHasValue object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectHasValue object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectOneOf object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf object)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

dt2maxRangeCardinality

public static java.util.Map<java.lang.String,java.lang.Long> dt2maxRangeCardinality

m_dataRangeConverter

protected final OWLClausification.DataRangeConverter m_dataRangeConverter

m_headAtoms

protected final java.util.List<Atom> m_headAtoms

m_bodyAtoms

protected final java.util.List<Atom> m_bodyAtoms

m_positiveFacts

protected final java.util.Set<Atom> m_positiveFacts

m_factory

protected final org.semanticweb.owlapi.model.OWLDataFactory m_factory

m_dps2ranges

protected final java.util.Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLDatatype> m_dps2ranges

m_yIndex

protected int m_yIndex

m_zIndex

protected int m_zIndex
Constructor Detail

OWLClausification.NormalizedAxiomClausifier

public OWLClausification.NormalizedAxiomClausifier(OWLClausification.DataRangeConverter dataRangeConverter,
                                                   java.util.Set<Atom> positiveFacts,
                                                   org.semanticweb.owlapi.model.OWLDataFactory factory,
                                                   java.util.Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLDatatype> dps2ranges)
Method Detail

getDLClause

protected DLClause getDLClause()

ensureYNotZero

protected void ensureYNotZero()

nextY

protected Variable nextY()

nextZ

protected Variable nextZ()

getConceptForNominal

protected AtomicConcept getConceptForNominal(org.semanticweb.owlapi.model.OWLIndividual individual)

visit

public void visit(org.semanticweb.owlapi.model.OWLClass object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectOneOf object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasValue object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataHasValue object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor