TU Wien Informatics

Maria Magdalena Ortiz de la Fuente

Assistant Prof. Dr.techn. / MSc

Research Focus

Research Areas

  • Knowledge Representation, Description Logics, Computational Logic, Logic, Complexity

About

My research is in the field of Knowledge Representation and Reasoning with particular emphasis in Description Logics (DLs). I am interested in the use of Description Logics in data access and data management. One of the central topics of my research is studying combinations of database-inspired query languages and DLs, with emphasis on identifying combinations with favourable computational properties. 

Roles

2018

2017

  • Managing Change in Graph-Structured Data Using Description Logics / S. Ahmetaj, M. Ortiz de la Fuente, D. Calvanese, M. Simkus / ACM Transactions on Computational Logic, 18 (2017), 4; 1 - 35
  • Querying with Vague Quantifiers Using Probabilistic Semantics / C. Fermüller, M. Hofer, M. Ortiz de la Fuente / Talk: 12th International Conference on Flexible Query Answering Systems, London, UK, June 21-22, 2017, London; 2017-06-21 - 2017-06-22; in: "Proceedings of Flexible Query Answering Systems 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017", H. Christiansen et al. (ed.); Springer, (2017), ISBN: 978-3-319-59692-1; 15 - 27
  • Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report) / N. Labai, M. Homola, M. Ortiz de la Fuente / Talk: 30th International Workshop on Description Logics, Montpellier, France; 2017-07-18 - 2017-07-21; in: "Proceedings of the 30th International Workshop on Description Logics", A. Artale, B. Glimm, R. Kontchakov (ed.); CEUR Workshop Proceedings, 1879 (2017), ISSN: 1613-0073; 1 - 13
  • Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming / L. Bajraktari, M. Ortiz de la Fuente, M. Simkus / Talk: 30th International Workshop on Description Logics, Montpellier, France (invited); 2017-07-18 - 2017-07-21; in: "Proceedings of the 30th International Workshop on Description Logics", A. Artale, B. Glimm, R. Kontchakov (ed.); CEUR Workshop Proceedings, 1879 (2017), ISSN: 1613-0073; 1 - 13

2016

2015

2014

  • Informal Proceedings of the 27th International Workshop on Description Logics / M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus / CEUR-Proceedings, Vol. 1193. Aachen, Deutschland, 2014, ISSN: 1613-0073; 756 pages
  • Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata / D. Calvanese, T. Eiter, M. Ortiz de la Fuente / Information and Computation, 237 (2014), 12 - 55
  • Nested Regular Path Queries in Description Logics / M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria; 2014-07-20 - 2014-07-24; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR 2014)", C. Baral, G. De Giacomo, T. Eiter (ed.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; 218 - 227
  • Planning Problems for Graph Structured Data in Description Logics / S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: 27th International Workshop on Description Logics, Vienna, Austria; 2014-07-17 - 2014-07-20; in: "Informal Proceedings of the 27th International Workshop on Description Logics", M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (ed.); CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; 4 - 7
  • Managing Change in Graph-Structured Data Using Description Logics / S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 2014-07-27 - 2014-07-31; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); AAAI Press/IJCAI, (2014), ISBN: 978-1-57735-661-5; 966 - 973
  • Revisiting the Hardness of Query Answering in Expressive Description Logics / M. Ortiz de la Fuente, M. Simkus / Talk: RR 2014, 8th International Conference Web Reasoning and Rule Systems, Athens, Greece; 2014-09-15 - 2014-09-17; in: "Web Reasoning and Rule Systems. 8th International Conference, Proceedings", R. Kontchakov, M. Mugnier (ed.); Springer Lecture Notes in Computer Science, 8714 (2014), ISBN: 978-3-319-11112-4; 216 - 223
  • Nested Regular Path Queries in Description Logics (Extended Abstract) / M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cartagena de Indias, Colombia; 2014-06-04 - 2014-06-06; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (ed.); CEUR Workshop Proceedings, 1189 (2014), ISSN: 1613-0073
  • Planning and Change in Graph Structured Data under Description Logics Constraints / S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cartagena de Indias, Colombia; 2014-06-04 - 2014-06-06; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (ed.); CEUR-Proceedings, 1189 (2014), ISSN: 1613-0073

2013

  • Reasoning and Query Answering in Description Logics / M. Ortiz de la Fuente / Talk: School of the Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla, Mexico (invited); 2013-05-19 - 2013-05-20
  • Reasoning about Explanations for Negative Query Answers in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Journal of Artificial Intelligence Research, 48 (2013), 635 - 669
  • Ontology Based Query Answering: The Story So Far / M. Ortiz de la Fuente / Keynote Lecture: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla, Mexiko (invited); 2013-05-21 - 2013-05-23; in: "Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management", L. Bravo, M. Lenzerini (ed.); CEUR Workshop Proceedings, 1087 (2013), ISSN: 1613-0073; 1 - 14
  • Tractable Queries for Lightweight Description Logics / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 2013-08-03 - 2013-08-09; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 768 - 774
  • Conjunctive Regular Path Queries in Lightweight Description Logics / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 2013-08-03 - 2013-08-09; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 761 - 767
  • Tractability Guarantees for DL-Lite Query Answering / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao / Talk: International Workshop on Description Logics (DL), Ulm, Germany; 2013-07-23 - 2013-07-26; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (ed.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; 41 - 52
  • Evolving Graph Databases under Description Logic Constraints / D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: International Workshop on Description Logics (DL), Ulm, Germany; 2013-07-23 - 2013-07-26; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (ed.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; 120 - 131

2012

  • Conjunctive query answering in the description logic SH using knots / T. Eiter, M. Ortiz de la Fuente, M. Simkus / Journal of Computer and System Sciences, 78 (2012), 1; 47 - 85
  • Reasoning and Query Answering in Description Logics / M. Ortiz de la Fuente, M. Simkus / Talk: Reasoning Web, International Summer School, Wien (invited); 2012-09-03 - 2012-09-08; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 1 - 53
  • Query Rewriting for Horn-SHIQ Plus Rules / T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Talk: Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, Ontario, Canada; 2012-07-22 - 2012-07-26; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), ISBN: 978-1-57735-568-7; 726 - 733
  • Towards Practical Query Answering for Horn SHIQ. / T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Talk: International Workshop on Description Logics (DL), Rome, Italy; 2012-06-07 - 2012-06-10; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); CEUR workshop proceedings, 846 (2012), ISSN: 1613-0073; 158 - 168
  • Answering Expressive Path Queries over Lightweight DL Knowledge Bases / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: International Workshop on Description Logics (DL), Rome, Italy; 2012-06-07 - 2012-06-10; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); (2012), ISSN: 1613-0073; 81 - 91
  • The Complexity of Explaining Negative Query Answers in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 2012-06-10 - 2012-06-14; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 583 - 587

2011

  • The Complexity of Conjunctive Query Abduction in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Talk: International Workshop on Description Logics (DL), Barcelon, Spain; 2011-07-13 - 2011-07-16; in: "CEUR Workshop Proceedings", R. Rosati, S. Rudolph, M. Zakharyaschev (ed.); CEUR Workshop Proceedings, 745 (2011), ISSN: 1613-0073; Paper ID 49, 11 pages
  • A Practical Automata-Based Technique for Reasoning in Expressive Description Logics / D. Calvanese, D. Carbotta, M. Ortiz de la Fuente / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 798 - 804
  • Containment of Regular Path Queries under Description Logic Constraints / D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 805 - 812
  • Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ / M. Ortiz de la Fuente, M. Simkus, S. Rudolph / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 1039 - 1044
  • D3.4 Converged and Optimized Combinations of Rules and Ontologies / C. Feier, T. Eiter, M. Kifer, A. Mosca, M. Rezk, R. Rosati, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Report for ONTORULE project; Report No. D3.4, 2011; 163 pages

2010

2009

  • Query Answering in Horn-SHIQ / M. Ortiz de la Fuente / Talk: Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy (invited); 2009-12-14
  • Reasoning with knots / M. Ortiz de la Fuente, M. Simkus, T. Eiter / Talk: Tutorial sessions, Faculty of Computer Sicience, BUAP, Puebla, Mexiko (invited); 2009-07-09
  • Querying Description Logic Knowledge Bases: automata-theoretic techniques / M. Ortiz de la Fuente / Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 2009-06-29 - 2009-07-02
  • Query Answering over expressive DL Ontologies / M. Ortiz de la Fuente / Talk: Seminar of the Artificial Intelligence Department, Technical University of Madrid (DIA - UPM), Technical University of Madrid, Madrid, Spain (invited); 2009-06-01
  • Querying Expressive Knowledge Bases / M. Ortiz de la Fuente / Talk: Seminar of the Artificial Intelligence Research Group, University Rey Juan Carlos (GIA - URJC), University Rey Juan Carlos. Madrid, Spain (invited); 2009-01-14
  • Query Answering in Description Logics: The Knots Approach / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Keynote Lecture: International Workshop on Logic, Language, Information and Computation (WoLLIC), Tokyo, Japan (invited); 2009-06-21 - 2009-06-24; in: "Proceedings of the 16th International Workshop on Logic, Language, Information and Computation (WoLLIC 2009). Lecture Notes in Computer Science 5514", H. Ono, M. Kanazawa, R. de Queiroz (ed.); Springer Lecture Notes in Computer Science, Heidelberg (2009), ISBN: 978-3-642-02260-9; 26 - 36
  • Query Answering in Description Logics with Transitive Roles / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California; 2009-07-11 - 2009-07-17; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 759 - 764
  • Regular Path Queries in Expressive Description Logics with Nominals / D. Calvanese, T. Eiter, M. Ortiz de la Fuente / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California; 2009-07-11 - 2009-07-17; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 714 - 720
  • Query answering in description logics with transitive roles / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-02, 2009; 32 pages
  • Conjunctive Query Answering in the Description Logic SH using Knots / T. Eiter, M. Ortiz de la Fuente, M. Simkus / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-03, 2009; 37 pages
  • Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata / D. Calvanese, T. Eiter, M. Ortiz de la Fuente / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-04, 2009; 46 pages

2008

  • The combined complexity of query answering in expressive DLs / M. Ortiz de la Fuente / Talk: Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy (invited); 2008-11-11
  • Data complexity of query answering in expressive Description Logics via tableaux / M. Ortiz de la Fuente, D. Calvanese, T. Eiter / Journal of Automated Reasoning, 41 (2008), 1; 61 - 98
  • Reasoning Using Knots / T. Eiter, M. Ortiz de la Fuente, M. Simkus / Keynote Lecture: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar (invited); 2008-11-22 - 2008-11-27; in: "15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR08)", I. Cervesato, H. Veith, A. Voronkov (ed.); Lecture Notes in Computer Science, Springer, Volume 5330 (2008), ISBN: 978-3-540-89438-4; 377 - 390
  • An Automata-based algorithm for description logics around SRIQ / M. Ortiz de la Fuente / Talk: Latin American Workshop on Non-Monotonic Reasoning, Puebla, Mexico; 2008-10-22 - 2008-10-24; in: "Fourth Latin American Workshop on Non-Monotonic Reasoning", M. Osorio, I. Olmos (ed.); CEUR Workshop Proceedings, 408 (2008), ISSN: 1613-0073; Paper ID 1, 15 pages
  • Conjunctive Query Answering in SH using Knots / M. Ortiz de la Fuente, M. Simkus, T. Eiter / Talk: International Workshop on Description Logics (DL), Dresden, Germany; 2008-05-13 - 2008-05-16; in: "Proceedings of the 21st International Workshop on Description Logics (DL2008)", F. Baader, C. Lutz, B. Motik (ed.); CEUR Workshop proceedings, 353 (2008), ISSN: 1613-0073; 11 pages
  • Complexity of Query Answering over Expressive Knowledge Bases / M. Ortiz de la Fuente / Talk: MICAI 2008: 7th Mexican International Conference on Artificial Intelligence, Mexico; 2008-10-27 - 2008-10-31; in: "Proceedings of MICAI-2008, Doctoral Consortium", M. Montes y Gomez, M. Gonzalez Mendoza (ed.); (2008), 22 - 25
  • Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses / M. Ortiz de la Fuente, M. Simkus, T. Eiter / Talk: National Conference on Artificial Intelligence (AAAI), Chicago, USA; 2008-07-13 - 2008-07-17; in: "23rd AAAI Conference on Artificial Intelligence", D. Fox, C.P. Gomes (ed.); AAAI Press, (2008), ISBN: 978-1-57735-368-3; 504 - 510
  • Extending Carin to the Description Logics of the SH Family / M. Ortiz de la Fuente / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Dresden, Deutschland (invited); 2008-09-28 - 2008-10-01; in: "Logics in Artificial Intelligence (JELIA 08)", S. Hölldobler, C. Lutz, H. Wansing (ed.); Lecture Notes in Artificial Intelligence, 5293 (2008), ISBN: 978-3-540-87802-5; 324 - 337
  • Query Answering in the Description Logic Horn-SHIQ / T. Eiter, G. Gottlob, M. Ortiz de la Fuente, M. Simkus / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Dresden, Germany; 2008-09-28 - 2008-10-01; in: "Logics in Artificial Intelligence (JELIA 08)", S. Hölldobler, C. Lutz, H. Wansing (ed.); Lecture Notes in Artificial Intelligence, 5293 (2008), ISBN: 978-3-540-87802-5; 166 - 179
  • Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-09, 2008; 17 pages
  • Answering regular path queries in expressive description logics: An automata-theoretic approach (Preliminary Version) / D. Calvanese, T. Eiter, M. Ortiz de la Fuente / Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-05, 2008; 34 pages

2007

2006

2005

 

  • Distinguished Alumna Award of the European Masters in Computational Logic / International Organization / 2014
  • EMCL Distinguished Alumni Award / Joint Consortium of the European Masters in Computational Logic / 2014
  • Austrian Federal Ministry for Science and Research: Award of Excellence 2010 / Austria / 2010
  • The Google Anita Borg Memorial Scholarship / 2007
  • OCG-Förderpreis / Austria / 2007
  • Best Thesis Award, consortium of the European Masters in Computational Logic / International Organization / 2006
  • ÖGAI-Preis / Austria / 2006

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Maria Magdalena Ortiz de la Fuente’s research profile in TISS .