owlapy.model.OWLReasoner
========================

.. currentmodule:: owlapy.model

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

   .. raw:: latex

      \iffalse

   
   
   .. rubric:: Methods

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

   
   
   

   .. raw:: latex

      \fi