Check Inconsistency?

[arkanalexei]

Hi everyone, apologies if this is the wrong place to ask. I was wondering how would you go about checking inconsistencies from defined individuals? Take for example:

with onto:
    class A(Thing):
        pass
    
    class B(Thing):
        pass
    
    class C(Thing):
        pass

    class hasPart(ObjectProperty):
        domain = [A]
        range = [B]

with onto:
    A_ind = A("A Individual")
    B_ind = B("B Individual")
    C_ind = C("C Individual")

    C_ind.hasPart = [A_ind]

sync_reasoner(infer_property_values = True)
print(list(default_world.inconsistent_classes()))

Logic would say that C_ind.hasPart = [A_ind] violates consistency because the domain and rage do not match up. If I wanted to create a system to detect and report these inconsistencies, how would I do so in Python?