Description Logic, fixpoint reasoning, logical difference between ontologies, simulations between hypergraphs.
