Consistency Test
When defining an Ontology one should make sure that there are no impossible/empty concepts. You can test if a Concept Definition is satisfiable with this kind of test and thus there will not be an empty Concept.
We can use the propositional satisfiability tests:
They are NPC, so most of the time exponential.