Resources

Useful resources for DL implementors.

Uli Sattler's list of DL systems. A number of these reasoners currently support the DIG interface, including:
- FaCT++
- RacerPro
- Pellet
- KAON2
A list of optimisation techniques used in DL system implementations.