pyhornedowl.profile.UseOfNonSimplePropertyInDisjointPropertiesAxiom
===================================================================

.. currentmodule:: pyhornedowl.profile

.. autoclass:: UseOfNonSimplePropertyInDisjointPropertiesAxiom
   :members:
   :undoc-members: