N. Bassiliades, G. Antoniou, and I. Vlahavas. International Journal on Semantic Web and Information Systems, 2 (1):
1--41(2006)\\ http://iskp.csd.auth.gr/publications/ijswis05-dr-device.pdf.
L. Ngo, and P. Haddawy. Theoretical Computer Science, (1997)\\ http://citeseer.ist.psu.edu/cache/papers/cs/3429/ftp:zSzzSzftp.cs.uwm.eduzSzpubzSztech_reportszSzaizSzngo-TCS.pdf/ngo96answering.pdf.
U. Fayyad, G. Platesky-Shapiro, and P. Smyth. Artificial Intelligence, (May 1996)\\ http://www.kdnuggets.com/gpspubs/aimag-kdd-overview-1996-Fayyad.pdf.
E. Giunchiglia, M. Narizzano, and A. Tacchella. Artificial Intelligence, 145 (1--2):
99-120(2003)\\ http://www.star.dist.unige.it/~enrico/ftp/02aij-qbf.ps.gz.
J. Hendler, T. Berners-Lee, and E. Miller. Journal of the Institute of Electrical Engineers of Japan, 122 (10):
676--680(October 2002)\\ http://www.w3.org/2002/07/swint.
I. Horrocks, U. Sattler, and S. Tobies. Journal of the IGPL, 8 (3):
239--263(2000)\\ http://www3.oup.co.uk/igpl/Volume_08/Issue_03/ \\ ps/horrocks1.ps.gz.
G. Antoniou, D. Billington, G. Governatori, and M. Maher. ACM Transactions on Computational Logic, 2 (2):
255-287(2001)\\ \http://delivery.acm.org/10.1145/380000/371517/p255-antoniou.pdf.
W. Conen, and R. Klapsing. Linköping Electronic Articles in Computer and Information Science, (2000)\\ http://www.kbs.uni-hannover.de/Lehre/KI2/SS02/cis00013-body.pdf.