[1] Guarino, N. and Giaretta, P. (1995) Ontologies and Knowledge Bases. In: Towards Very Large Knowledge Bases, IOS Press, Amsterdam, 1-2.
[2] Web Ontology Language (OWL) Offers Additional Knowledge Base Oriented Ontology Constructs and Axioms.
http://www.w3.org/2002/Talks/04-sweb/slide12-0.html
[3] Ian Horrocks, Ontologies and the Semantic Web, Oxford University Computing Laboratory.
[4] http://protege.stanford.edu/
[5] Baader, F., Calvanese, D., McGuinness, D., Nardi, D. and Patel-Schneider, P.F., Eds. (2003) The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge.
[6] Horrocks, I. and Sattler, U. (2007) A Tableau Decision Procedure for SHOIQ. Journal of Automated Reasoning, 39, 249-276.
[7] Joseph, K. and William, R. (2003) DAMLJessKB: A Tool for Reasoning with the Semantic Web. IEEE Intelligent Systems, 18, 74-77.
[8] Joseph, K. And William, R. (2003) DAMLJessKB: A Tool for Reasoning with the Semantic Web. IEEE Intelligent Systems, 18, 74-77.
[9] Richard, F., Jessica, J. and Gleb, F. (2003) JTP: A System Architecture and Component Library for Hybrid Reasoning. Stanford University, Stanford.
[10] Carroll, J.J, Ian, D., Chris, D., Dave, R., Andy, S. and Kevin, W. (2004) Jena: Implementing the Semantic Web Recommendations. Proceedings of the 13th International World Wide Web Conference on Alternate Track Papers & Posters, 2004, 74-83. ISBN:1-58113-912-8.
[11] Zou, Y.Y., Finin, T. and Chen, H. (2004) F-OWL: An Inference Engine for the Semantic Web. Formal Approaches to Agent-Based Systems. Vol. 3228 of Lecture Notes in Computer Science. Springer-Verlag, Berlin. Proceedings of the Third International Workshop (FAABS), 16-18 April 2004.
[12] Dmitry, T. and Ian, H. (2003) Implementing New Reasoner with Datatypes Support. Wonder Web: Ontology Infrastructure for the Semantic Web Deliverable.
[13] Ian, H. (1998) The FaCT System. Automated Reasoning with Analytic Tableaux and Related Methods. International Conference Tableaux-98, Springer Verlag, Berlin, 307-312.
[14] Evren, S. and Bijan, P. (2004) Pellet: An OWL DL Reasoner. In: Description Logics, CEUR-WS.org, 9.
[15] Aditya, K., Bijan, P. and James, H. (2005) A Tool for Working with Web Ontologies. International Journal on Semantic Web and Information Systems, 1, 4.
[16] Michael, S. and Stefan, D. (2002) TRIPLE—A Query, Inference, and Transformation Language for the Semantic Web. Proceedings of the 1st International Semantic Web Conference (ISWC-02), Springer-Verlag, Berlin, 364-378.
[17] Chalupsky, H. (2000) OntoMorph: A Translation System for Symbolic Knowledge. Proceedings of KR, Morgan Kaufmann Publishers, San Francisco, 471-482.