org.semanticweb.HermiT.structural
Class OWLClausification.NormalizedAxiomClausifier
java.lang.Object
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
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 |
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
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)
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