– Re: Comparing classes or construction object
In Reply To
Yeah, there should be a general need of checking whether a set of logical expressions is more general than the other one, either for ontology construction or validation purpose. When it comes to "A in B.is_a", it is quite limited as A and B are required to be classes. Of course, I could add them as new classes, run the reasoner, and then see if the new classes for B is a subclass of the new class for A, but it is quite awkward and time consuming (running the reasoner for whole ontology, remove classes after, etc. ). Just need a more elegant way to do this.