1. Arndt, R., Troncy, R., Staab, S., Hardman, L., & Vacura, M. (2008). COMM: Designing a well-founded multimedia ontology for the web. In Proceedings of the sixth international semantic web conference (ISWC 2007) (pp. 30–43). Busan, South Korea.
2. The description logic handbook: Theory, implementation, and applications;Baader,2003
3. Description logics as ontology languages for the semantic web;Baader;Mechanizing Mathematical Reasoning,2005
4. Handbook of knowledge representation;Baader,2008
5. Saturation, nonmonotonic reasoning and the closed-world assumption;Bossu;Artificial Intelligence,1985