. Berners-lee, The Semantic Web, Scientific American, vol.284, issue.5, pp.35-43, 2001.
DOI : 10.1038/scientificamerican0501-34

. Calvanese, Unifying class-based representation formalisms, Journal of Artificial Intelligence Research, vol.11, pp.1999-240, 1999.

. Donini, The Complexity of Concept Languages, 2nd International Conference on Knowledge Representation and Reasoning, p.91, 1991.
DOI : 10.1006/inco.1997.2625

. Donini, 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

J. Euzenat, Preserving modularity in xml encoding of description logics, Proc. 14th workshop on description logics (DL), Stanford (CA US), pp.20-29, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00822912

. Fensel, OIL in a Nutshell, 12th International Conference on Knowledge Engineering and Knowledge Management EKAW 2000, 2000.
DOI : 10.1007/3-540-39967-4_1

I. Horrocks, A denotational semantics for Standard OIL and Instance OIL, 2000.

. Horrocks, Practical Reasoning for Expressive Description Logics, Proc. of LPAR'99, pp.161-180, 1999.
DOI : 10.1007/3-540-48242-3_11

. Mcguinness, Daml-ont: An ontology language for the semantic web. IEEE Intelligent Systems, 2001.