S. Bechhofer and I. Horrocks, Peter Patel-Schneider, and Sergio Tes- saris. A proposal for a description logic interface, Proc. Description logics workshop, Linkoping (SE), number CEUR-WS-22, 1999.

A. Borgida, Extensible knowledge representation: the case of description reasoners, Journal of artificial intelligence research, vol.10, pp.399-434, 1999.

T. Bray, J. Paoli, and C. M. , Extensible Markup Language (XML) 1.0. Recommendation, W3C, 1998.

F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf, Deduction in Concept Languages: from Subsumption to Instance Checking, Journal of Logic and Computation, vol.4, issue.4, pp.423-452, 1994.
DOI : 10.1093/logcom/4.4.423

D. Fensel, I. Horrocks, F. Van-harmelen, S. Decker, M. Erdmann et al., OIL in a Nutshell, 12th International Conference on Knowledge Engineering and Knowledge Management EKAW 2000, 2000.
DOI : 10.1007/3-540-39967-4_1

G. Necula and P. Lee, Efficient representation and validation of proofs, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), pp.93-104, 1998.
DOI : 10.1109/LICS.1998.705646

H. Thompson and D. Beech, XML Schema part 1: structures. Recommendation, W3C, 2001.