1. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1–26 (1991)
2. Lecture Notes in Computer Science;I Horrocks,1999
3. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Tenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 57–67 (2006)
4. Horrocks, I.: Using an expressive description logic: FaCT or fiction? Knowl. Reasoning 98, 636–645 (1998)
5. Lecture Notes in Computer Science;L Serafini,2005