In this chapter, we will see how to use the HermiT and Pellet reasoners in Python, in order to check the consistency of an ontology and to perform automatic deductions and classification, on the basis of the logical constructors.
7.1 Disjoints
Owlready allows creating disjoints between classes with the class AllDisjoint. For example, we can declare the classes Isolated, InPair, InCluster, and InChain as pairwise disjoint, as follows:
>>> from owlready2 import *
>>> onto = get_ontology("bacteria.owl").load() ...
