Check if a class is inconsistent in Konclude

36 Views Asked by At

I'm using Konclude reasoner .I know inconsistent Classes are shown in red in Protégé .How can I check if a class is Inconsistent in Konclude?

0

There are 0 best solutions below