DIG Optimisation Techniques

DIG maintains this list of description logics optimisation techniques as a resource for implementators of description logic and related systems.

This is an initial list of optimisation techniques gathered at a DIG workshop.

Satisfiability Techniques


Classification Techniques


Individuals Techniques


Datastructures


Heuristics