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?
Asked
Active
Viewed 27 times
0
-
just check if the class is subclass of `owl:Nothing` – UninformedUser Jan 21 '23 at 07:24
-
@UninformedUser There is no way to check if a Class is a Subclass of any other class .its a reasoner so I supposed there is but I didn't find any way. – Rami Dhouib Jan 21 '23 at 07:54
-
why not? I also don'T know how you use Konclude at all. Which API do you use? Anyways, they even provide a CLI command to check if a single class is satisifiable: https://github.com/konclude/Konclude#usage - so why aren't you following the documentation? – UninformedUser Jan 21 '23 at 08:15
-
@UninformedUser yeah they provide a way to check if a single class is satisfiable but not consistent. And I'm using the command line directly. – Rami Dhouib Jan 21 '23 at 08:48
-
a class being "inconsistent" is the same as being "unsatisfiable" - all it means is that a class can't have any instances, otherwise the whole ontology would be logically inconsistent which in fact means one could infer anything from it. – UninformedUser Jan 22 '23 at 10:07
-
@UninformedUser I have an ontology where a class turns red in Protege (unconsistant) but Konclude returns it as satisfiable.. – Rami Dhouib Feb 02 '23 at 09:41