owlapy.ext.OWLReasonerEx
========================

.. currentmodule:: owlapy.ext

.. autoclass:: OWLReasonerEx
   :members:
   :undoc-members:
   :show-inheritance:
   :inherited-members:

   .. raw:: latex

      \iffalse

   
   
   .. rubric:: Methods

   .. autosummary::
      :nosignatures:
   
      ~OWLReasonerEx.all_data_property_values
      ~OWLReasonerEx.data_property_domains
      ~OWLReasonerEx.data_property_ranges
      ~OWLReasonerEx.data_property_values
      ~OWLReasonerEx.different_individuals
      ~OWLReasonerEx.disjoint_classes
      ~OWLReasonerEx.disjoint_data_properties
      ~OWLReasonerEx.disjoint_object_properties
      ~OWLReasonerEx.equivalent_classes
      ~OWLReasonerEx.equivalent_data_properties
      ~OWLReasonerEx.equivalent_object_properties
      ~OWLReasonerEx.flush
      ~OWLReasonerEx.get_root_ontology
      ~OWLReasonerEx.ind_data_properties
      ~OWLReasonerEx.ind_object_properties
      ~OWLReasonerEx.instances
      ~OWLReasonerEx.object_property_domains
      ~OWLReasonerEx.object_property_ranges
      ~OWLReasonerEx.object_property_values
      ~OWLReasonerEx.same_individuals
      ~OWLReasonerEx.sub_classes
      ~OWLReasonerEx.sub_data_properties
      ~OWLReasonerEx.sub_object_properties
      ~OWLReasonerEx.super_classes
      ~OWLReasonerEx.types
   
   

   
   
   

   .. raw:: latex

      \fi