Thesis full text (PDF) - Politecnico di Milano

More documents

Recommendations

Info

[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
[56] BRAMBILLA, M., CERI, S., FRATERNALI, P., ACERBIS, R., AND BONGIO, A. 2005. Model-driven Design of Serviceenabled Web Applications. In Proceedings of the ACM SIGMOD International Conference on Management of Data, Baltimore, Maryland, USA, June 2005, ACM, 851-856. [57] MANOLESCU, I., BRAMBILLA, M., CERI, S., COMAI, S., AND FRATERNALI, P. 2005. Model-Driven Design and Deployment of Service-Enabled Web Applications. ACM Transactions on Internet Technology (ACM TOIT) 5(3), 439-479. [58] BRAMBILLA, M., CERI, S., FRATERNALI, P., AND MANOLESCU, I. 2006. Process Modeling in Web Applications. ACM Transactions on Software Engineering and Methodology (TOSEM) 15(4), 360-409. [59] CERI, S., DANIEL, F., MATERA, M., AND FACCA, F. 2007. Model-driven Development of Context-Aware Web Applications. ACM Transactions on Internet Technology (ACM TOIT) 7(1). [60] BRAMBILLA, M., CERI, S., FACCA, F., CELINO, I., CERIZZA, D., AND DELLA VALLE, E. 2007. Model-Driven Design and Development of Semantic Web Service Applications. ACM Transactions on Internet Technologies (TOIT) 8(1), 3:1- 3:31. [61] ACERBIS, R., BONGIO, A., BRAMBILLA, M., BUTTI, S., CERI, S., AND FRATERNALI, P. 2008. Web applications design and development with WebML and WebRatio 5.0. In Proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE, Zurich, Switzerland, July 2008, Springer, 392-411. [62] WEBRATIO. WebRatio User Guide: Technical Report of Web Models s.r.l., 2007. [63] VDOVJAK, R., FRASINCAR, F., HOUBEN, G. J., AND BARNA, P. 2003. Engineering semantic web information systems in Hera. Journal of Web Engineering 2(1&2), 3-26. [64] VAN DER SLUIJS, K., HOUBEN, G., BROEKSTRA, J., AND CASTELEYN, S. 2006. Hera-S: web design using sesame. In Proceedings of the 6th International Conference on Web Engineering, Palo Alto, California, USA, 2006, ACM, 337-344. [65] LIMA, F., AND SCHWABE, D. 2003. Application modeling for the Semantic Web. In Proceedings of the 1st Latin American Web Congress, Washington, DC, USA, 2003, IEEE Computer Society, 93-102. [66] JIN, Y., DECKER, S., AND WIEDERHOLD, G. 2001. OntoWebber: Model-Driven Ontology-Based Web Site Management. In Proceedings of the 1st International Semantic Web Working Symposium, Stanford University, California, USA, July 2001, 529-547. [67] FRANSICAR, F., HOUBEN, G., AND BARNA, P. 2005. Hera presentation generator. In Special interest tracks and posters of the 14th international conference on World Wide Web, New York, USA, 2005, ACM Press, 952-953. [68] SCHWABE, D., SZUNDY, G., SILVA DE MOURA, S., AND LIMA., F. 2004. Design and Implementation of Semantic Web Applications. WWW Workshop on Application Design, Development and Implementation Issues in the Semantic Web. New York, USA, May 2004, CEUR-US.org. [69] JIN, Y., XU, S., DECKER, S., AND WIEDERHOLD, G. 2002. Managing Web Sites with OntoWebber. In Proceedings of the 8th International Conference on Extending Database Technology, Prague, Czech Republic, March 2002, Springer, 766-768. 97
Page 1 and 2:
POLITECNICO DI MILANO V Facoltà di
Page 3 and 4:
Table of Contents Abstract ........
Page 5 and 6:
1. Introduction At present the Web
Page 7 and 8:
• Definition of the formal repres
Page 9 and 10:
This approach overcomes the develop
Page 11 and 12:
Both the teleological and the ontol
Page 13 and 14:
consists of a data schema, describi
Page 15 and 16:
high-level business rules, written
Page 17 and 18:
Thanks to the automatic generation
Page 19 and 20:
2.4.2 RDF Resource Description Fram
Page 21 and 22:
Third, besides the aforementioned r
Page 23 and 24:
The XMI serialization of UML [33] e
Page 25 and 26:
2.9.2.1 Pellet Pellet 1 [47] is an
Page 27 and 28:
3. Semantics Web based Recommendati
Page 29 and 30:
them by invoking respectively the c
Page 31 and 32:
etrieves the properties by their ca
Page 33 and 34:
Figure 3.6: Instance Component 3.1.
Page 35 and 36:
3.1.8 Add Components The Add compon
Page 37 and 38:
Add Class Component ClassDisjointOf
Page 39 and 40:
PropertyDisjointOfProperty (for ins
Page 41 and 42:
first-class citizens, we have more
Page 43 and 44:
Figure 3.17: Remove Datatype Compon
Page 45 and 46: 3.1.19 Remove Instance component Th
Page 47 and 48: 3.2.4 Export-XMI-from-KB component
Page 49 and 50: 3.3.1.2 Properties of a class patte
Page 51 and 52: 3.3.1.5 Instances of a class assumi
Page 53 and 54: 3.3.1.8 Instances of a class assumi
Page 55 and 56: 3.3.2.2 Remove property value for a
Page 57 and 58: 3.4.2 Application Specification In
Page 59 and 60: Action • View Notification: Group
Page 61 and 62: Send Group Invitation Actor: Group
Page 63 and 64: A user can recommend friend as Frie
Page 65 and 66: In the figure 3.37, a User browsing
Page 67 and 68: Through the entry unit in figure 4.
Page 69 and 70: Figure 4.2: Example of WebML hypert
Page 71 and 72: Description Classes Hierarchy Unit
Page 73 and 74: Add PropertyValueAxiom Input: manda
Page 75 and 76: 4.4. The top segment of the page is
Page 77 and 78: page otherwise it will go to the er
Page 79 and 80: We are showing current user’s inf
Page 81 and 82: current user is sending a friend in
Page 83 and 84: The information of a particular gro
Page 85 and 86: Figure 4.20: HTML view to Post New
Page 87 and 88: the application domain as extended
Page 89 and 90: Knowledge Instances Yes Yes Yes Yes
Page 91 and 92: OWL DL KB Framework CLASS HIERARCHI
Page 93 and 94: of a specific group members of the
Page 95: [22] OMG UML (2007), Unified Modeli
show all

Thesis full text (PDF) - Politecnico di Milano

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?