:py:mod:`ontolearn.base.complex_ce_instances`
=============================================

.. py:module:: ontolearn.base.complex_ce_instances

.. autoapi-nested-parse::

   OWL Reasoner - Complex Class Expression Instances (CCEI).



Module Contents
---------------

Classes
~~~~~~~

.. autoapisummary::

   ontolearn.base.complex_ce_instances.OWLReasoner_Owlready2_ComplexCEInstances




Attributes
~~~~~~~~~~

.. autoapisummary::

   ontolearn.base.complex_ce_instances.logger


.. py:data:: logger

   

.. py:class:: OWLReasoner_Owlready2_ComplexCEInstances(ontology: ontolearn.base.OWLOntology_Owlready2, base_reasoner: Optional[ontolearn.base.BaseReasoner_Owlready2] = None, infer_property_values: bool = True, infer_data_property_values: bool = True, isolate: bool = False)


   Bases: :py:obj:`ontolearn.base.OWLReasoner_Owlready2`

   Extra convenience methods for OWL Reasoners

   (Not part of OWLAPI)

   .. py:attribute:: __slots__
      :value: ('_cnt', '_conv', '_base_reasoner')

      

   .. py:method:: update_isolated_ontology(axioms_to_add: List[owlapy.owl_axiom.OWLAxiom] = None, axioms_to_remove: List[owlapy.owl_axiom.OWLAxiom] = None)

      Add or remove axioms to the isolated ontology that the reasoner is using.

      :param axioms_to_add: Axioms to add to the isolated ontology.
      :type axioms_to_add: List[OWLAxiom]
      :param axioms_to_remove: Axioms to remove from the isolated ontology.
      :type axioms_to_remove: List[OWLAxiom]


   .. py:method:: instances(ce: owlapy.class_expression.OWLClassExpression, direct: bool = False) -> Iterable[owlapy.owl_individual.OWLNamedIndividual]

      Gets the individuals which are instances of the specified class expression.

      :param ce: The class expression whose instances are to be retrieved.
      :param direct: Specifies if the direct instances should be retrieved (True), or if all instances should be
                     retrieved (False).

      :returns: If direct is True, each named individual j where the set of reasoner axioms entails
                DirectClassAssertion(ce, j). If direct is False, each named individual j where the set of reasoner axioms
                entails ClassAssertion(ce, j). If ce is unsatisfiable with respect to the set of reasoner axioms then
                nothing returned.


   .. py:method:: __del__()