Especialidades

Computación
Ing. del Software

Tutor

MORENO VALVERDE, GINES DAMIAN
GUERRERO ABENZA, JUAN ANTONIO

Descripción y Objetivos

FLOPER es un entorno de programación lógica difusa que ha sido desarrollado en la UCLM a partir de cuatro proyectos fin de carrera que preceden al que proponemos ahora (ver http://dectau.uclm.es/floper/). Haciendo uso de esta plataforma, recientemente hemos desarrollado intérpretes y depuradores que incorporan comandos con fuerte sabor "fuzzy" sobre los populares lenguajes XPath y XQuery para la gestión flexible de documentos XML (ver http://dectau.uclm.es/fuzzyXPath/). El presente proyecto se centra en el desarrollo de baterías de carga que permitan evaluar las prestaciones de los mismos en contextos reales, así como su comparación con otras herramientas más o menos estandarizadas en el mismo ámbito de la web semántica. Como resultado principal se pretende elaborar un informe detallado del impacto industrial esperable para este tipo de tecnología y un listado de propuestas de enriquecimientos que puedan ser implementadas directamente en el marco del presente proyecto o porteriormente.

Metodología y Competencias

Se deberán tener conocimientos de programación en Prolog y se aconseja haber cursado las asignaturas de Lógica y Programación Declarativa. El proyecto se iniciará con una revisión de la bibliografía más relevante sobre el tema y se continuará con la fase de experimentación  sobre la plataforma FLOPER y otras similares.

Medios a utilizar

Todo el  material y medios necesarios para ejecutar el TFG se encuentra disponible en la ESII de Albacete.
Hardware: PC. Software: Compiladores de Prolog y Java.

Bibliografía

Proyectos fin de carrera precedentes a éste (relativos al desarrollo del entorno FLOPER) y realizados por José Manuel Abietar, Pedro José Morcillo, Gustavo Valiente y Carlos Vázquez. El tutor proporcionará copias de los mismos al estudiante.

[ABE08]	J. M. Almendros-Jiménez, A. Becerra-Terón, F. J. Enciso-Baños. Querying XML documents in Logic Programming. TPLP 8(3):323-361, 2008.
[ACGS12]	J. Almendros-Jiménez, R. Caballero, Y. Garcia-Ruiz, F. Sáenz-Pérez. XPath Query Processing in a Functional-Logic Language. Electronic Notes on Theoretical Computer Science, ENTCS (15 pages, in press), 2012.
[Alm09]	J. M. Almendros-Jiménez. An Encoding of XQuery in Prolog. In Proceedings of the Sixth International XML Database Symposium XSym'09. Pp. 145-155. Springer, LNCS 5679, Heildelberg,Germany, 2009.
[ALM11]	J. Almendros-Jiménez, A. Luna, G. Moreno. A Flexible XPath-based Query Language Implemented with Fuzzy Logic Programming. In Proc. of 5th International Symposium on Rules: Research Based, Industry Focused, RuleML'11. Barcelona, Spain, July 19-21. Pp. 186-193. Springer Verlag, LNCS 6826, Heidelberg,Germany, 2011.
[ALM12a]	[ALM12a] J. Almendros-Jiménez, A. Luna, G. Moreno. Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language. Electr. Notes Theor. Comput. Sci. 282:3–18, 2012. [ALM12b] J.M. Almendros-Jiménez, A. Luna, G.Moreno. A XPath Debugger Based on Fuzzy Chance Degrees. In On the Move to Meaningful Internet Systems: Proceedings OTM 2012 Workshops, Rome, Italy, September 10-14. Pp. 669–672. Springer Verlag, LNCS 7567, 2012. [ALM13] J. Almendros-Jiménez, A. Luna, G. Moreno. Annotating Fuzzy Chance Degrees when Debugging XPath Queries. In Advances in Computational Intelligence - Proc of the 12th International Work-Conference on Artificial Neural Networks, IWANN 2013 (Special Session on Fuzzy Logic and Soft Computing Application), Tenerife, Spain, June 12-14. Pp. 300–311. Springer Verlag, LNCS 7903, Part II, 2013.
[BBC+07]	A. Berglund, S. Boag, D. Chamberlin, M. Fernandez, M. Kay, J. Robie, J. Siméon. XML path language (XPath) 2.0. W3C, 2007.
[BDHH06]	P. Buche, J. Dibie-Barthélemy, O. Haemmerlé, G. Hignette. Fuzzy semantic tagging and Flexible querying of XML documents extracted from the Web. Journal of Intelligent Information Systems 26(1):25-40, 2006.
[BDW06]	P. Buche, J. Dibie-Barthélemy, F. Wattez. Approximate querying of XML fuzzy data. Flexible Query Answering Systems, pp. 26-38, 2006.
[BMP95]	J. F. Baldwin, T. P. Martin, B. W. Pilsworth. Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, Inc., 1995.
[BP82]	B. Buckles, F. Petry. A fuzzy representation of data for relational databases. Fuzzy Sets and Systems 7(3):213-226, 1982.
[BP95]	P. Bosc, O. Pivert. SQLf: a relational database language for fuzzy querying. Fuzzy Systems, IEEE Transactions on 3(1):1-17, 1995. Fuzzy XPath Through Fuzzy Logic Programming 21
[BPS89]	B. Buckles, F. Petry, H. Sachar. A domain calculus for fuzzy relational databases. Fuzzy Sets and Systems 29(3):327-340, 1989.
[CDG+09]	A. Campi, E. Damiani, S. Guinea, S. Marrara, G. Pasi, P. Spoletini. A fuzzy extension of the XPath query language. Journal of Intelligent Information Systems 33(3):285-305, 2009.
[DMP07]	E. Damiani, S. Marrara, G. Pasi. FuzzyXPath: Using fuzzy logic and IR features to approximately query XML documents. Foundations of Fuzzy Logic and Soft Computing, pp. 199-208, 2007.
[DMP08]	E. Damiani, S. Marrara, G. Pasi. A Flexible extension of XPath to improve XML querying. In Proceedings of the 31st annual international ACM SIGIR conference on Research and development in information retrieval. Pp. 849- 850. 2008.
[FF+11]	S. Flesca, F. Furfaro et al. XPath Query Relaxation through Rewriting Rules. Knowledge and Data Engineering, IEEE Transactions on 99:1-1, 2011.
[FFF10]	On the expressiveness of generalization rules for XPath query relaxation. 2010.
[FFP09]	Top-k Answers to Fuzzy XPath Queries. 2009.
[For11]	A. Formica. Semantic Web search based on rough sets and Fuzzy Formal Concept Analysis. Knowledge-Based Systems, 2011.
[FR09]	E. Fredrick, D. Radhamani. Fuzzy Logic Based XQuery operations for Native XML Database Systems. International Journal of Database Theory and Application 2, 2009.
[GA06]	A. Gaurav, R. Alhajj. Incorporating fuzziness in XML and mapping fuzzy relational data into fuzzy XML. In Proceedings of the 2006 ACM symposium on Applied computing. Pp. 456-460. 2006.
[GHN+06]	P. Gursky, T. Horvath, R. Novotny, V. Vanekova, P. Vojtas. UPRE: User preference based search system. In Web Intelligence, 2006. WI 2006. IEEE/WIC/ACM International Conference on. Pp. 841-844. 2006.
[GT10]	M. Goncalves, L. Tineo. Fuzzy XQuery. Soft Computing in XML Data Management, pp. 133-163, 2010.
[HP03]	E. Herrera-Viedma, G. Pasi. Fuzzy approaches to access information on the Web: recent developments and research trends. In Proc. International Conference on Fuzzy Logic and Technology (EUSFLAT 2003). Pp. 25-31. 2003.
[IK85]	M. Ishizuka, N. Kanai. Prolog-ELF Incorporating Fuzzy Logic. In Joshi (ed.), Proceedings of the 9th Int. Joint Conference on Artificial Intelligence, IJCAI'85. Pp. 701-703. Morgan Kaufmann, 1985.
[JMP09]	P. Julián, G. Moreno, J. Penabad. On the Declarative Semantics of Multi-Adjoint Logic Programs. In al. (ed.), Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN'09, Salamanca, Spain, June 10-12, 2009, Proceedings, Part I. Lecture Notes in Computer Science 5517, pp. 253-260. Springer, 2009.
[KPB06]	D. Kraft, G. Pasi, G. Bordogna. Vagueness and uncertainty in information retrieval: how can fuzzy sets help? In Proceedings of the 2006 international workshop on Research issues in digital libraries. P. 3. 2006.
[LAAE06]	H. Li, S. Aghili, D. Agrawal, A. El Abbadi. FLUX: fuzzy content and structure matching of XML range queries. In Proceedings of the 15th international conference on World Wide Web. Pp. 1081-1082. 2006.
[Lee72]	R. Lee. Fuzzy Logic and the Resolution Principle. Journal of the ACM 19(1):119-129, 1972.
[LS08]	T. Lukasiewicz, U. Straccia. Managing uncertainty and vagueness in description logics for the semantic web. Web Semantics: Science, Services and Agents on the World Wide Web 6(4):291-308, 2008.
[MCS11]	S. Muñoz-Hernández, V. P. Ceruelo, H. Strass. RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog. Information Sciences 181(10):1951-1970, 2011.
[MKV+02]	M. Martín-Bautista, D. Kraft, M. Vila, J. Chen, J. Cruz. User profiles and fuzzy logic for web retrieval issues. Soft Computing-A Fusion of Foundations, Methodologies and Applications 6(5):365-372, 2002.
[MM08]	P. Morcillo, G. Moreno. Programming with Fuzzy Logic Rules by using the FLOPER Tool. In al. (ed.), Proc of the 2nd. Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML'08. Pp. 119-126. Springer Verlag, LNCS 3521, 2008.
[MMPV10]	P. Morcillo, G. Moreno, J. Penabad, C. Vázquez. A Practical Management of Fuzzy Truth Degrees using FLOPER. In al. (ed.), Proc. of 4nd Intl Symposium on Rule Interchange and Applications, RuleML'10. Pp. 20-34. Springer Verlag, LNCS 6403, 2010.
[MMPV11]	P. Morcillo, G. Moreno, J. Penabad, C. Vázquez. Fuzzy Computed Answers Collecting Proof Information. In al. (ed.), Advances in Computational Intelligence - Proc of the 11th International Work-Conference on Artificial Neural Networks, IWANN 2011. Pp. 445-452. Springer Verlag, LNCS 6692, 2011.
[MOV04]	J. Medina, M. Ojeda-Aciego, P. Vojtá². Similarity-based Unification: a multi-adjoint approach. Fuzzy Sets and Systems 146:43-62, 2004.
[OP08]	B. Oliboni, G. Pozzani. Representing fuzzy information by using XML schema. In Database and Expert Systems Application, 2008. DEXA'08. 19th International Workshop on. Pp. 683-687. 2008.
[OP10]	B. Oliboni, G. Pozzani. An XML Schema for Managing Fuzzy Documents. Soft Computing in XML Data Management, pp. 3-34, 2010.
[Pas08a]	G. Pasi. Flexible information retrieval: some research trends. Mathware & soft computing 9(1):107-121, 2008.
[Pas08b]	G. Pasi. Fuzzy sets in information retrieval: state of the art and research trends. Fuzzy Sets and Their Extensions: Representation, Aggregation and Models, pp. 517- 535, 2008.
[RR08]	M. Rodríguez-Artalejo, C. Romero-Díaz. Quantitative logic programming revisited. In Garrigue and Hermenegildo (eds.), Functional and Logic Programming (FLOPS'08). Pp. 272-288. Springer LNCS 4989, 2008.
[RR10]	M. Rodríguez, C. A. Romero. A declarative semantics for CLP with qualification and proximity. Theory and Practice of Logic Programming 10(4-6):627-642, 2010.
[SM89]	S. Shenoi, A. Melton. Proximity relations in the fuzzy relational database model. Fuzzy Sets and Systems 31(3):285-296, 1989.
[SM90]	S. Shenoi, A. Melton. An extended version of the fuzzy relational database model. Information Sciences 52(1):35-52, 1990.
[SMD11]	S. Schockaert, N. Makarytska, M. De Cock. Fuzzy methods on the web: a critical discussion. 35 Years of Fuzzy Set Theory, pp. 237-266, 2011.
[Str05]	U. Straccia. Towards a fuzzy description logic for the semantic web (preliminary report). The Semantic Web: Research and Applications, pp. 73-123, 2005.
[Str08]	U. Straccia. Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs. In Reasoning Web, 4th International Summer School, Tutorial Lectures. Lecture Notes in Computer Science 5224, pp. 54-103. Springer Verlag, 2008.
[VP05]	P. Vojtá², L. Paulík. Query Answering in Normal Logic Programs Under Uncertainty. In Godó (ed.), Proc. of 8th. European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-05), Barcelona, Spain. Pp. 687- 700. Lecture Notes in Computer Science 3571, Springer Verlag, 2005.
[YML09]	L. Yan, Z. Ma, J. Liu. Fuzzy data modeling based on XML schema. In Proceedings of the 2009 ACM symposium on Applied Computing. Pp. 1563-1567. 2009.

 

Asignación

El Trabajo Fin de Grado ha sido a asignado a Don/Doña María Isabel Izquierdo Villaescusa