Running subsumption queries with class expressions

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Running subsumption queries with class expressions

bonnevie
What is the best approach if I want to check if Not(A) is a subclass of another class? Or some other class expression in place of Not(A).

What works is creating a class and setting its equivalent_to=[Not(A)], running sync_reasoner, and then using issubclass - but this also seems like a bit of a roundabout solution.  
Reply | Threaded
Open this post in threaded view
|

Re: Running subsumption queries with class expressions

Jiba
Administrator
Hi,

> What works is creating a class and setting its equivalent_to=[Not(A)]

Yes, this is the right way for doing that.

Reasoners only classify named classes and individuals, so you need to associate a named class to the Not(A) construct.

Jiba