org.semanticweb.HermiT.structural
Class ReducedABoxOnlyClausification

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

public class ReducedABoxOnlyClausification
extends org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter


Field Summary
protected  java.util.Set<AtomicConcept> m_allAtomicConcepts
           
protected  java.util.Set<AtomicRole> m_allAtomicDataRoles
           
protected  java.util.Set<AtomicRole> m_allAtomicObjectRoles
           
protected  java.util.Set<Individual> m_allIndividuals
           
protected  org.semanticweb.owlapi.model.OWLDataFactory m_factory
           
protected  boolean m_ignoreUnsupportedDatatypes
           
protected  java.util.Set<Atom> m_negativeFacts
           
protected  java.util.Set<Atom> m_positiveFacts
           
protected  Configuration.WarningMonitor m_warningMonitor
           
 
Constructor Summary
ReducedABoxOnlyClausification(Configuration configuration, org.semanticweb.owlapi.model.OWLDataFactory factory, java.util.Set<AtomicConcept> allAtomicConcepts, java.util.Set<AtomicRole> allAtomicObjectRoles, java.util.Set<AtomicRole> allAtomicDataRoles)
           
 
Method Summary
 void clausify(org.semanticweb.owlapi.model.OWLIndividualAxiom... axioms)
           
 java.util.Set<Individual> getAllIndividuals()
           
protected  Atom getConceptAtom(org.semanticweb.owlapi.model.OWLClass cls, Term term)
           
protected  Constant getConstant(org.semanticweb.owlapi.model.OWLLiteral lit)
           
protected  Individual getIndividual(org.semanticweb.owlapi.model.OWLIndividual individual)
           
 java.util.Set<Atom> getNegativeFacts()
           
 java.util.Set<Atom> getPositiveFacts()
           
protected  Atom getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty, Term first, Term second)
           
protected  Atom getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty, Term first, Term second)
           
 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_warningMonitor

protected final Configuration.WarningMonitor m_warningMonitor

m_ignoreUnsupportedDatatypes

protected final boolean m_ignoreUnsupportedDatatypes

m_factory

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

m_allAtomicConcepts

protected final java.util.Set<AtomicConcept> m_allAtomicConcepts

m_allAtomicObjectRoles

protected final java.util.Set<AtomicRole> m_allAtomicObjectRoles

m_allAtomicDataRoles

protected final java.util.Set<AtomicRole> m_allAtomicDataRoles

m_positiveFacts

protected final java.util.Set<Atom> m_positiveFacts

m_negativeFacts

protected final java.util.Set<Atom> m_negativeFacts

m_allIndividuals

protected final java.util.Set<Individual> m_allIndividuals
Constructor Detail

ReducedABoxOnlyClausification

public ReducedABoxOnlyClausification(Configuration configuration,
                                     org.semanticweb.owlapi.model.OWLDataFactory factory,
                                     java.util.Set<AtomicConcept> allAtomicConcepts,
                                     java.util.Set<AtomicRole> allAtomicObjectRoles,
                                     java.util.Set<AtomicRole> allAtomicDataRoles)
Method Detail

clausify

public void clausify(org.semanticweb.owlapi.model.OWLIndividualAxiom... axioms)

getPositiveFacts

public java.util.Set<Atom> getPositiveFacts()

getNegativeFacts

public java.util.Set<Atom> getNegativeFacts()

getAllIndividuals

public java.util.Set<Individual> getAllIndividuals()

getConceptAtom

protected Atom getConceptAtom(org.semanticweb.owlapi.model.OWLClass cls,
                              Term term)

getRoleAtom

protected Atom getRoleAtom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty,
                           Term first,
                           Term second)

getRoleAtom

protected Atom getRoleAtom(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataProperty,
                           Term first,
                           Term second)

getIndividual

protected Individual getIndividual(org.semanticweb.owlapi.model.OWLIndividual individual)

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

getConstant

protected Constant getConstant(org.semanticweb.owlapi.model.OWLLiteral lit)