1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
2. Baader, F., Lutz, C., Sturm, H., Wolter, F.: Fusions of description logics and abstract description systems. J. Artif. Intell. Res. (JAIR) 16, 1–58 (2002)
3. Baader, F., Sattler, U.: Number restrictions on complex roles in description logics. In: Procs. of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR’96). Morgan Kaufmann, San Mateo (1996)
4. LNCS;J. Bao,2006
5. Bao, J., Caragea, D., Honavar, V.G.: A tableau-based federated reasoning algorithm for modular ontologies. In: Procs. of IEEE/WIC/ACM International Conference on Web Intelligence (WI’06). IEEE Press, New York (2006)