H. W. , J. S. Dong, and J. Sun, Checking and reasoning about semantic web through alloy, Proceedings of Formal Methods Europe: FME'03, 2805 of Lect, pp.796-814, 2003.
DOI : 10.1007/978-3-540-45236-2_43

URL : http://www.cs.auckland.ac.nz/~jingsun/papers/PDFs/FME.2003.796-813.pdf

V. Haarslev and R. Möller, RACER User's Guide and Reference Manaual: Version 1, 2002.

I. Horrocks, The FaCT System, TABLEAUX '98: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.307-312, 1998.
DOI : 10.1007/3-540-69778-0_30

J. Hendler, T. Berners-lee, and O. Lassila, The semantic web, Scientific American, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00768415

D. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002.
DOI : 10.1145/505145.505149

URL : http://sdg.lcs.mit.edu/~dnj/pubs/alloy-journal.pdf

D. Jackson, I. Schechter, and H. Shlyahter, Alcoa, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.730-733, 2000.
DOI : 10.1145/337180.337616

I. Horrocks, F. Peter, F. Patel-schneider, and . Van-harmelen, Reviewing the design of daml+oil: an ontology language for the semantic web, Eighteenth national conference on Artificial intelligence, pp.792-797, 2002.

F. Van-harmelen, P. F. Patel-schneider, and I. Horrocks, Reference description of the daml+oil ontology markup language, 2001.

J. Broekstra, M. Klein, S. Decker, D. Fensel, and I. Horrocks, Adding formal semantics to the web building on top of rdf schema, Proc. of the ECDL 2000 Workshop on the Semantic Web, 2000.

D. Tsarkov and I. Horrocks, FaCT++ Description Logic Reasoner: System Description, Proc. of the Int. Joint Conf. on Automated Reasoning, pp.292-297, 2006.
DOI : 10.1007/11814771_26

URL : http://www.cs.man.ac.uk/~horrocks/Publications/download/2006/TsHo06a.pdf

C. Lutz, The complexity of reasoning with concrete domains revised version, 1999.