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.  

[Jiba]

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