Hierarchy For Package org.semanticweb.owlapi.reasoner.impl

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.semanticweb.owlapi.reasoner.impl.DefaultNode<E> (implements org.semanticweb.owlapi.reasoner.Node<E>)
    • org.semanticweb.owlapi.reasoner.impl.OWLClassNode
    • org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNode
    • org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNode
    • org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNode
    • org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNode
  • org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet<E> (implements org.semanticweb.owlapi.reasoner.NodeSet<E>)
    • org.semanticweb.owlapi.reasoner.impl.OWLClassNodeSet
    • org.semanticweb.owlapi.reasoner.impl.OWLDataPropertyNodeSet
    • org.semanticweb.owlapi.reasoner.impl.OWLDatatypeNodeSet
    • org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNodeSet
    • org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet
  • org.semanticweb.owlapi.reasoner.impl.NodeFactory
  • org.semanticweb.owlapi.util.OWLBaseVisitorExAdapter<O,I>
    • org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<O> (implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>)
      • org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer
  • org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase (implements org.semanticweb.owlapi.reasoner.OWLReasoner)