1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logics, pp. 7–73. Reidel Publishing Company, Boston (1977)
3. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Sci. Am. 5, 29–37 (2001)
4. Lecture Notes in Computer Science,2005
5. Dentler, K., Cornet, R., Annette, T.T., De Keizer, N.: Comparison of reasoners for large ontologies in the OWL 2 EL profile. Semant. Web 1, 1–5 (2011)