1. A Semantic Web Primer;Antoniou,2008
2. An Overview of Tableau Algorithms for Description Logics;Baader;Studia Logica,2001
3. J. Baumeister, Agile Development of Diagnostic Knowledge Systems, IOS Press, AKA, DISKI, 2004.
4. Smelly owls—design anomalies in ontologies;Baumeister,2005
5. Verification and refactoring of ontologies with rules;Baumeister,2006