org.semanticweb.HermiT.structural
Class OWLClausification.FactClausifier

java.lang.Object
  extended by org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
      extended by org.semanticweb.HermiT.structural.OWLClausification.FactClausifier
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor
Enclosing class:
OWLClausification

protected static class OWLClausification.FactClausifier
extends org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter


Field Summary
protected  OWLClausification.DataRangeConverter m_dataRangeConverter
           
protected  java.util.Set<Atom> m_negativeFacts
           
protected  java.util.Set<Atom> m_positiveFacts
           
 
Constructor Summary
OWLClausification.FactClausifier(OWLClausification.DataRangeConverter dataRangeConverter, java.util.Set<Atom> positiveFacts, java.util.Set<Atom> negativeFacts)
           
 
Method Summary
 void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom object)
           
 
Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
 
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_positiveFacts

protected final java.util.Set<Atom> m_positiveFacts

m_negativeFacts

protected final java.util.Set<Atom> m_negativeFacts
Constructor Detail

OWLClausification.FactClausifier

public OWLClausification.FactClausifier(OWLClausification.DataRangeConverter dataRangeConverter,
                                        java.util.Set<Atom> positiveFacts,
                                        java.util.Set<Atom> negativeFacts)
Method Detail

visit

public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter