Thesis full text (PDF) - Politecnico di Milano

[40] CLARK, T., EVANS, A., AND KENT, S. 2001. The Meta-Modeling Language Calculus: Foundation Semantics for UML.
In Proceedings of the 4th International Conference on Fundamental Approaches on Software Engineering (FASE), Genova, Italy,
April 2001, Springer, 17-31.
[41] EGEA, M. 2005. ITP/OCL: a Theorem Prover-Based Tool for UML+OCL Class Diagrams. Master’s thesis, Facultad de
Inform´atica, Universidad Complutense de Madrid, 2005.
[42] SHROFF, M., AND FRANCE, R. B. 1997. Towards a Formalization of UML Class Structures in Z. In Proceedings of 21st
International Computer Software and Applications Conference, Washington, DC, USA, August 1997, IEEE Computer Society,
646-651.
[43] BERARDI, D., CALVANESE, D., AND DE GIACOMO, G. 2005. Reasoning on UML class diagrams. Artificial
Intelligence, 168(1-2), 70-118.
[44] CALVANESE, D., GIACOMO, G., AND LENZERINI, M. 2001. Identification Constraints and Functional Dependencies in
Description Logics. In Proceedings of the 17th International Joint Conference on Artificial Intelligence, Seattle, Washington,
USA, August 2001, Morgan Kaufman, 155-160.
[45] BAADER, F., CALVANESE, D., MCGUINESS, D.L., NARDI, D., AND PATEL-SCHNEIDER, P.F. 2007. The
Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
[46] HORROCKS, I., KUTZ, O., AND SATTLER, U. 2006. The Even More Irresistible SROIQ. In Proceedings of the 10th
International Conference on Principles of Knowledge Representation and Reasoning, Lake District, United Kingdom, June 2006,
AAAI Press, 57-67.
[47] Sirin, E., Parsia, B., Grau, B. C., Kalyanpur, A., and Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web
Semantics, 5(2): 51-53, 2007.
[48] Tobies, S.: Complexity results and practical algorithms for logics in Knowledge Representation. PhD Thesis, LuFG
Theoretical Computer Science, RWTH-Aachen, Germany, 2001.
[49] Halaschek-Wiener, C., Parsia, B., and Sirin, E.: Description Logic Reasoning with Syntactic Updates. In Proceedings of the
5th International Conference on Ontologies, Databases, and Applications of Semantics: 722–737, 2006.
[50] Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL Ontologies. In the Proceedings of the 14th international conference on
World Wide Web (WWW-2005): 633-640, 2005.
[51] Sirin, E., Grau, B. C., and Parsia, B.: From Wine to Water: Optimizing Description Logic Reasoning for Nominals. In the
Proceedings of the International Conference on the Principles of Knowledge Representation and Reasoning (KR-2006): 90-99,
2006.
[52] HALASCHEK-WIENER, C., PARSIA, B., AND SIRIN, E. 2006. Description Logic Reasoning with Syntactic Updates. In
Proceedings of the 5th International Conference on Ontologies, Databases, and Applications of Semantics, Montpellier, France,
October 2006, Springer, 722–737.
[53] PARSIA, B., SIRIN, E., KALYANPUR, A. 2005. Debugging OWL Ontologies. In Proceedings of the 14th International
Conference on World Wide Web, Chiba, Japan, May 2005, ACM, 633-640.
[54] SIRIN, E., GRAU, B. C., AND PARSIA, B. 2006. From Wine to Water: Optimizing Description Logic Reasoning for
Nominals. In Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning,
Lake District, United Kingdom, June 2006, AAAI Press, 90-99.
[55] LIEBIG, T. 2006. Reasoning with OWL - System Support and Insights. Technical report, number TR-2006-04, Ulm
University, Germany, 2006. Available at http://www.informatik.uni-ulm.de/ki/Liebig/papers/TR-U-Ulm-2006-04.pdf
96