Maria Magdalena Ortiz de la Fuente
Associate Prof. Dr.in techn. / MSc
Research Focus
- Logic and Computation: 100%
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
-
Associate Professor
Knowledge-Based Systems, E192-03 -
On Leave
Knowledge-Based Systems, E192-03
Courses
2022W
- Introduction to Logical Methods in Computer Science / 184.766 / VO
2023S
- Research Seminar LogiCS / 184.767 / SE
Projects
-
Recursive Queries over Semantically Enriched Data Repositories
2012 – 2016 / Austrian Science Fund (FWF) / Publications: 160846, 164270, 165872, 171143, 27533, 57971, 58036, 58037, 58039, 58237, 58730, 58731, 58860, 58861, 58862, 59164, 59175, 59176, 59708, 59710, 59743, 59748, 59773, 59869, 60328, 60459, 60460, 60461, 60463, 60464, 60466, 91235, 91236, 91237, 91241 -
Reasoning in Hybrid Knowledge Bases
2008 – 2012 / Austrian Science Fund (FWF) / Publications: 163891, 163893, 164270, 165872, 170705, 171143, 171760, 171761, 171875, 175644, 176078, 179306, 26277, 26459, 26794, 29646, 30443, 38550, 39715, 39716, 39717, 39718, 42234, 55599, 55965, 55969, 56347, 56348, 56349, 56366, 56367, 56371, 56404, 56405, 56406, 56494, 56655, 56894, 57052, 57054, 57059, 57060, 57069, 57229, 57265, 57273, 57274, 57337, 57373, 57415, 57687, 57868, 57869, 57870, 57903, 57971, 58036, 58037, 58039, 58048, 58049, 58050, 58103, 58121, 58237, 58278, 58279, 58499, 58500, 58578, 58730, 58731, 58860, 58861, 59882, 89743, 89744, 89745, 89746, 89747, 89748, 89749, 89786, 89917, 89941, 89942, 90415
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
2022
- Magic Shapes for SHACL Validation / Ahmetaj, S., Löhnert, B., Ortiz de la Fuente, M. M., & Simkus, M. (2022). Magic Shapes for SHACL Validation. Proceedings of the VLDB Endowment, 15(10), 2284--2296. https://doi.org/10.14778/3547305.3547329 / Projects: FRESH, KtoAPP, OMEGA
- Actions over Core-Closed Knowledge Bases / Cauli, C., Ortiz, M., & Piterman, N. (2022). Actions over Core-Closed Knowledge Bases. In J. Blanchette, L. Kovacs, & D. Pattinson (Eds.), Automated Reasoning. IJCAR 2022 (pp. 281–299). Springer. https://doi.org/10.1007/978-3-031-10769-6_17
2021
- Ontologies for On-Demand Designof Data-Centric Systems / Ortiz de la Fuente, M. M. (2021). Ontologies for On-Demand Designof Data-Centric Systems. In Formal Concept Analysis. International Conference on Formal Concept Analysis ICFCA, Strasbourg, France, EU. Springer Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/55671
- Magic Shapes for Validation in SHACL / Ahmetaj, S., Loehnert, B., Ortiz de la Fuente, M. M., & Simkus, M. (2021). Magic Shapes for Validation in SHACL. In Proceedings of the ISWC 2021 Posters, Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 20th International Semantic Web Conference (ISWC 2021). ISWC 2021 - The 20th International Semantic Web Conference, online event, International. CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55686
- Reasoning about Explanations for Non-validation in SHACL (Extended abstract) / Ahmetaj, S., David, R., Ortiz de la Fuente, M. M., Polleres, A., Shehu, B., & Simkus, M. (2021). Reasoning about Explanations for Non-validation in SHACL (Extended abstract). In Proceedings of the 34th International Workshop on Description Logics (DL 2021). International Workshop on Description Logics (DL), Windermere, Lake District, UK, EU. CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55685
- Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract) / Cauli, C., Ortiz de la Fuente, M. M., & Piterman, N. (2021). Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). In Proceedings of the 34th International Workshop on Description Logics (DL 2021). International Workshop on Description Logics, Wien, Austria. CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/58750
- Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security / Cauli, C., Ortiz, M., & Piterman, N. (2021). Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event, International. https://doi.org/10.24963/kr.2021/17
- Reasoning about Explanations for Non-validation in SHACL / Ahmetaj, S., David, R., Ortiz, M., Polleres, A., Shehu, B., & Šimkus, M. (2021). Reasoning about Explanations for Non-validation in SHACL. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event, International. https://doi.org/10.24963/kr.2021/2
2020
- Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog / Ahmetaj, S., Ortiz, M., & Šimkus, M. (2020). Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. Artificial Intelligence, 280(103220), 103220. https://doi.org/10.1016/j.artint.2019.103220 / Projects: KtoAPP, OMEGA
- Stable Model Semantics for Recursive SHACL / Andresel, M., Corman, J., Ortiz, M., Reutter, J. L., Savkovic, O., & Simkus, M. (2020). Stable Model Semantics for Recursive SHACL. In Proceedings of The Web Conference 2020. International World Wide Web Conference (WWW), UK, EU. ACM. https://doi.org/10.1145/3366423.3380229
- Pebble-Intervals Automata and FO$$^2$$ with Two Orders / Labai, N., Kotek, T., Ortiz, M., & Veith, H. (2020). Pebble-Intervals Automata and FO$$^2$$ with Two Orders. In Language and Automata Theory and Applications (pp. 208–221). Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-40608-0_14
- Query Rewriting for Ontology-Mediated Conditional Answers / Andresel, M., Ortiz, M., & Simkus, M. (2020). Query Rewriting for Ontology-Mediated Conditional Answers. In V. Conitzer & F. Sha (Eds.), Proceedings of the AAAI Conference on Artificial Intelligence (pp. 2734–2741). AAAI-20 Technical Tracks. https://doi.org/10.1609/aaai.v34i03.5660 / Projects: KtoAPP, OMEGA
- Rewritability Results for OMQs with Closed Predicates / Ortiz de la Fuente, M. M. (2020). Rewritability Results for OMQs with Closed Predicates. In Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, Greece, EU. CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55578
- A Framework for Exploratory Query Answering with Ontologies / Andresel, M.-P., Ibanez Garcia, Y. A., & Ortiz de la Fuente, M. M. (2020). A Framework for Exploratory Query Answering with Ontologies. In Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, Greece, EU. CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55577
- An ExpTime Upper Bound for ALC with Integers / Labai, N., Simkus, M., & Ortiz de la Fuente, M. M. (2020). An ExpTime Upper Bound for ALC with Integers. In D. Calvanese, E. Erdem, & M. Thielscher (Eds.), Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press. https://doi.org/10.24963/kr.2020/61
- Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates / Gogacz, T., Lukumbuzya, S., Simkus, M., & Ortiz de la Fuente, M. M. (2020). Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. In D. Calvanese, E. Erdem, & M. Thielscher (Eds.), Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press. https://doi.org/10.24963/kr.2020/44
- Ontology Focusing: Knowledge-Enriched Databases on Demand / Gogacz, T., Gutierrez-Basulto, V., Ibanez Garcia, Y. A., Murlak, F., Ortiz de la Fuente, M. M., & Simkus, M. (2020). Ontology Focusing: Knowledge-Enriched Databases on Demand. In ECAI 2020 - 24th European Conference on Artificial Intelligence (pp. 745–752). Frontiers in Artificial Intelligence and Applications. http://hdl.handle.net/20.500.12708/55576
- Resilient Logic Programs: Answer Set Programs Challenged by Ontologies / Ortiz de la Fuente, M. M., Simkus, M., & Lukumbuzya, S. (2020). Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. In V. Conitzer & F. Sha (Eds.), Proceedings of the AAAI Conference on Artificial Intelligence (pp. 2917–2924). AAAI-20 Technical Tracks. https://doi.org/10.1609/aaai.v34i03.5683
- An ExpTime Upper Bound for ALC with Integers (Extended Version) / Labai, N., Simkus, M., & Ortiz de la Fuente, M. M. (2020). An ExpTime Upper Bound for ALC with Integers (Extended Version) (2006.02078). http://hdl.handle.net/20.500.12708/40248
2019
- Optimizing Horn-SHIQ Reasoning for OBDA / Bajraktari, L., Ortiz de la Fuente, M. M., & Xiao, G. (2019). Optimizing Horn-SHIQ Reasoning for OBDA. In Lecture Notes in Computer Science. ISWC 2019 - International Semantic Web Conference, Auckland, New Zealand, Non-EU. Springer. https://doi.org/10.1007/978-3-030-30793-6 / Project: KtoAPP
- Answer Set Programs Challenged by Ontologies / Ortiz de la Fuente, M. M., Simkus, M., & Lukumbuzya, S. (2019). Answer Set Programs Challenged by Ontologies. In M. Simkus & G. Weddell (Eds.), 32nd International Workshop on Description Logics. CEUR Workshop proceedings. http://hdl.handle.net/20.500.12708/55531
- From Complete to Incomplete Data and Back in Ontology-Enriched Databases / Ortiz de la Fuente, M. M. (2019). From Complete to Incomplete Data and Back in Ontology-Enriched Databases. In A. Hogan & T. Milo (Eds.), Aidan Hogan, Tova Milo: Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunción, Paraguay, June 3-7, 2019. CEUR Workshop proceedings. http://hdl.handle.net/20.500.12708/55530
- Relaxing and Restraining Queries for OBDA / Andresel, M.-P., Ibanez Garcia, Y. A., Ortiz de la Fuente, M. M., & Simkus, M. (2019). Relaxing and Restraining Queries for OBDA. In Proceedings of the AAAI Conference on Artificial Intelligence (pp. 2654–2661). https://doi.org/10.1609/aaai.v33i01.33012654 / Projects: KtoAPP, OMEGA
- Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case / Ortiz, M. (2019). Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case. In D. Calvanese & L. Iocchi (Eds.), EPiC Series in Computing. EPiC Series in Computing, Easychair. https://doi.org/10.29007/jhtz
- Pebble-Intervals Automata and FO2 with Two Orders (Extended Version / Labai, N., Kotek, T., Ortiz de la Fuente, M. M., & Veith, H. (2019). Pebble-Intervals Automata and FO2 with Two Orders (Extended Version (1912.00171). http://hdl.handle.net/20.500.12708/39866 / Projects: KtoAPP, OMEGA
- Ontology Focusing: Knowledge-enriched Databases on Demand / Gogacz, T., Gutierrez-Basulto, V., Ibanez Garcia, Y. A., Murlak, F., Ortiz de la Fuente, M. M., & Simkus, M. (2019). Ontology Focusing: Knowledge-enriched Databases on Demand (1904.00195). http://hdl.handle.net/20.500.12708/39865 / Projects: KtoAPP, OMEGA
2018
- Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) / Abiteboul, S., Arenas, M., Barceló, P., Bienvenu, M., Calvanese, D., David, C., Hull, R., Hüllermeier, E., Kimelfeld, B., Libkin, L., Martens, W., Milo, T., Murlak, F., Neven, F., Ortiz de la Fuente, M. M., Schwentick, T., Stoyanovich, J., Su, J., Suciu, D., … Yi, K. (2018). Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos, 7(1), 1–29. https://doi.org/10.4230/DagMan.7.1.1
- Improving Data Management using Domain Knowledge / Ortiz, M. (2018). Improving Data Management using Domain Knowledge. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK, Austria. https://doi.org/10.24963/ijcai.2018/814
- A Tool for Building Topic-specific Ontologies Using a Knowledge Graph / Böhm, K., & Ortiz de la Fuente, M. M. (2018). A Tool for Building Topic-specific Ontologies Using a Knowledge Graph. In Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. (p. 12). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/57716
- Compiling Model Representations for Querying Large ABoxes in Expressive DLs / Bajraktari, L., Ortiz, M., & Simkus, M. (2018). Compiling Model Representations for Querying Large ABoxes in Expressive DLs. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI - International Joint Conference on Artificial Intelligence, Stockholm, EU. https://doi.org/10.24963/ijcai.2018/234
- Combining Rules and Ontologies into Clopen Knowledge Bases / Bajraktari, L., Ortiz de la Fuente, M. M., & Simkus, M. (2018). Combining Rules and Ontologies into Clopen Knowledge Bases. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence e (AAAI-18) (pp. 1728–1735). http://hdl.handle.net/20.500.12708/57703
- Relaxing and Restraining Queries for OBDA - Extended Abstract / Andresel, M.-P., Ibanez Garcia, Y. A., Ortiz de la Fuente, M. M., & Simkus, M. (2018). Relaxing and Restraining Queries for OBDA - Extended Abstract. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October-2 November 2018. (pp. 617–618). http://hdl.handle.net/20.500.12708/57608
- Taming Complex Role Inclusions for DL-Lite / Andresel, M.-P., Ibanez Garcia, Y. A., Ortiz de la Fuente, M. M., & Simkus, M. (2018). Taming Complex Role Inclusions for DL-Lite. In Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. (p. 12). CEUR-WS.org. http://hdl.handle.net/20.500.12708/57607
- Rewriting Guarded Existential Rules into Small Datalog Programs / Ahmetaj, S., Ortiz de la Fuente, M. M., & Simkus, M. (2018). Rewriting Guarded Existential Rules into Small Datalog Programs. In 21st International Conference on Database Theory, {ICDT} 2018 (pp. 1–24). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2018.4
- Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27-29, 2018. / Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27-29, 2018. (2018). In M. M. Ortiz de la Fuente & T. Schneider (Eds.), CEUR Workshop Proceedings. CEUR-WS.org. http://hdl.handle.net/20.500.12708/24559
2017
- Managing Change in Graph-Structured Data Using Description Logics / Ahmetaj, S., Ortiz de la Fuente, M. M., Calvanese, D., & Simkus, M. (2017). Managing Change in Graph-Structured Data Using Description Logics. ACM Transactions on Computational Logic, 18(4), 1–35. https://doi.org/10.1145/3143803
- Querying with Vague Quantifiers Using Probabilistic Semantics / Hofer, M., Fermüller, C. G., & Ortiz, M. (2017). Querying with Vague Quantifiers Using Probabilistic Semantics. In Flexible Query Answering Systems - 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017, Proceedings ; Christiansen, Henning; Jaudoin, Hélène; Chountas, Panagiotis; Andreasen, Troels; Larsen, Henrik Legind. Cham. https://doi.org/10.1007/978-3-319-59692-1_2
- Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report) / Labai, N., Homola, M., & Ortiz de la Fuente, M. M. (2017). Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report). In A. Artale, B. Glimm, & R. Kontchakov (Eds.), Proceedings of the 30th International Workshop on Description Logics (pp. 1–13). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55478
- Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming / Bajraktari, L., Ortiz de la Fuente, M. M., & Simkus, M. (2017). Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. In A. Artale, B. Glimm, & R. Kontchakov (Eds.), Proceedings of the 30th International Workshop on Description Logics (pp. 1–13). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55477
2016
- Research Directions for Principles of Data Management (Abridged) / Abiteboul, S., Arenas, M., Barceló, P., Bienvenu, M., Calvanese, D., David, C., Hull, R., Hüllermeier, E., Kimelfeld, B., Libkin, L., Martens, W., Milo, T., Murlak, F., Neven, F., Ortiz, M., Schwentick, T., Stoyanovich, J., Su, J., Suciu, D., … Yi, K. (2016). Research Directions for Principles of Data Management (Abridged). ACM SIGMOD Record, 45(4), 5–17. https://doi.org/10.1145/3092931.3092933
- Managing Change in Graph-Structured Data Using Description Logics / Ortiz de la Fuente, M. M., & Simkus, M. (2016). Managing Change in Graph-Structured Data Using Description Logics. Workshop on New Trends in Belief Change, Vienna, Austria. http://hdl.handle.net/20.500.12708/86468 / Project: SemDat
- Query Answering with Description Logic Ontologies / Bienvenu, M., & Ortiz de la Fuente, M. M. (2016). Query Answering with Description Logic Ontologies. 28th European Summer School in Logic, Language and Information, Bolzano, Italy, EU. http://hdl.handle.net/20.500.12708/86464 / Project: SemDat
- Expressive Ontology and Query Languages for Data Access and Management / Ortiz de la Fuente, M. M. (2016). Expressive Ontology and Query Languages for Data Access and Management. 12th Reasoning Web Summer School (RW 2016), Aberdeen, Scotland, EU. http://hdl.handle.net/20.500.12708/86463 / Project: SemDat
- A Compilation Technique for Interactive Ontology-mediated Data Exploration / Andresel, M.-P., Ortiz de la Fuente, M. M., & Simkus, M. (2016). A Compilation Technique for Interactive Ontology-mediated Data Exploration. In M. Lenzerini & R. Penaloza (Eds.), Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. (p. 12). CEUR Workshop Proceedings / CEUR-WS.org. http://hdl.handle.net/20.500.12708/56678 / Projects: HINT, SemDat
- Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics / Ahmetaj, S., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. In M. Lenzerini & R. Penaloza (Eds.), Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. (p. 13). CEUR Workshop Proceedings / CEUR-WS.org. http://hdl.handle.net/20.500.12708/56673 / Projects: HINT, SemDat
- Closed Predicates in Description Logics: Results on Combined Complexity / Ngo, N., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Closed Predicates in Description Logics: Results on Combined Complexity. In R. Pichler & A. S. da Silva (Eds.), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (p. 5). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56672 / Projects: HINT, SemDat
- Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates / Ahmetaj, S., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. In R. Pichler & A. S. da Silva (Eds.), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (p. 5). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56671 / Projects: HINT, SemDat
- Closed Predicates in Description Logics: Results on Combined Complexity / Ngo, N., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Closed Predicates in Description Logics: Results on Combined Complexity. In C. Baral, J. P. Delgrande, & F. Wolter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016. (pp. 237–246). AAAI Press. http://hdl.handle.net/20.500.12708/56676 / Projects: HINT, SemDat
- Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates / Ahmetaj, S., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. In S. Kambhampati (Ed.), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (pp. 878–885). IJCAI/AAAI Press. http://hdl.handle.net/20.500.12708/56675 / Projects: HINT, SemDat
- The Impact of Active Domain Predicates on Guarded Existential Rules / Gottlob, G., Pieris, A., & Šimkus, M. (2016). The Impact of Active Domain Predicates on Guarded Existential Rules. In M. M. Ortiz de la Fuente & S. Schlobach (Eds.), Web Reasoning and Rule Systems (pp. 94–110). Lecture Notes in Computer Science / Springer. https://doi.org/10.1007/978-3-319-45276-0_8 / Projects: HINT, START
- Verification of Evolving Graph-structured Data under Expressive Path Constraints / Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Verification of Evolving Graph-structured Data under Expressive Path Constraints. In W. Martens & T. Zeume (Eds.), 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016 (pp. 1–19). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2016.15 / Projects: HINT, SEE, SemDat
- Web Reasoning and Rule Systems / Web Reasoning and Rule Systems. (2016). In M. M. Ortiz de la Fuente & S. Schlobach (Eds.), Lecture Notes in Computer Science. Springer, LNCS. https://doi.org/10.1007/978-3-319-45276-0 / Project: SemDat
2015
- Ontology-Mediated Query Answering with Data-Tractable Description Logics / Bienvenu, M., & Ortiz, M. (2015). Ontology-Mediated Query Answering with Data-Tractable Description Logics. In W. Faber & A. Paschke (Eds.), Reasoning Web. Web Logic Rules (pp. 218–307). Springer LNCS. https://doi.org/10.1007/978-3-319-21768-0_9 / Project: SemDat
- Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms / Bienvenu, M., Ortiz, M., & Simkus, M. (2015). Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. Journal of Artificial Intelligence Research, 53, 315–374. https://doi.org/10.1613/jair.4577 / Projects: FAIR, SEE, SemDat
- The Combined Complexity of Reasoning with Closed Predicates in Description Logics / Ngo, N., Ortiz de la Fuente, M. M., & Simkus, M. (2015). The Combined Complexity of Reasoning with Closed Predicates in Description Logics. In D. Calvanese & B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015 (pp. 249–261). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55398 / Projects: HINT, SemDat
- Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results / Bienvenu, M., Ortiz de la Fuente, M. M., & Simkus, M. (2015). Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. In Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015 (pp. 162–171). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55397 / Projects: HINT, SemDat
2014
- Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata / Calvanese, D., Eiter, T., & Ortiz, M. (2014). Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata. Information and Computation, 237, 12–55. https://doi.org/10.1016/j.ic.2014.04.002 / Projects: Hybride Wissensbasen, SemDat
- Towards Practical Deletion Repair of Inconsistent DL-programs / Eiter, T., Fink, M., & Stepanova, D. (2014). Towards Practical Deletion Repair of Inconsistent DL-programs. In M. Bienvenu, M. M. Ortiz de la Fuente, R. Rosati, & M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics (pp. 169–180). CEUR-WS. http://hdl.handle.net/20.500.12708/55751 / Project: ASP
- Contextualized Knowledge Repositories with Justifiable Exceptions / Bozzato, L., Eiter, T., & Serafini, L. (2014). Contextualized Knowledge Repositories with Justifiable Exceptions. In M. Bienvenu, M. M. Ortiz de la Fuente, R. Rosati, & M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics (pp. 112–123). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55719
- Nested Regular Path Queries in Description Logics (Extended Abstract) / Bienvenu, M., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Nested Regular Path Queries in Description Logics (Extended Abstract). In G. Gottlob & J. Perez (Eds.), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management. CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55386 / Projects: FAIR, SEE, SemDat
- Planning Problems for Graph Structured Data in Description Logics / Ahmetaj, S., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Planning Problems for Graph Structured Data in Description Logics. In M. Bienvenu, M. M. Ortiz de la Fuente, R. Rosati, & M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics (pp. 4–7). CEUR-WS. http://hdl.handle.net/20.500.12708/55993 / Projects: FAIR, SEE, SemDat
- Revisiting the Hardness of Query Answering in Expressive Description Logics / Ortiz, M., & Šimkus, M. (2014). Revisiting the Hardness of Query Answering in Expressive Description Logics. In R. Kontchakov & M.-L. Mugnier (Eds.), Web Reasoning and Rule Systems (pp. 216–223). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-319-11113-1_18 / Projects: FAIR, SEE, SemDat
- Nested Regular Path Queries in Description Logics / Bienvenu, M., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Nested Regular Path Queries in Description Logics. In C. Baral, G. De Giacomo, & T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR 2014) (pp. 218–227). AAAI Press. http://hdl.handle.net/20.500.12708/55963 / Projects: FAIR, SEE, SemDat
- Planning and Change in Graph Structured Data under Description Logics Constraints / Ahmetaj, S., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Planning and Change in Graph Structured Data under Description Logics Constraints. In G. Gottlob & J. Perez (Eds.), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management. CEUR-Proceedings. http://hdl.handle.net/20.500.12708/55930 / Projects: FAIR, SEE, SemDat
- Managing Change in Graph-Structured Data Using Description Logics / Ahmetaj, S., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Managing Change in Graph-Structured Data Using Description Logics. In C. E. Brodley & P. Stone (Eds.), Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence (pp. 966–973). AAAI Press/IJCAI. http://hdl.handle.net/20.500.12708/55928 / Projects: FAIR, SEE, SemDat
- SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment / Ahmeti, A., Calvanese, D., & Polleres, A. (2014). SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment. In M. Bienvenu, M. M. Ortiz de la Fuente, R. Rosati, & M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014 (p. 13). CEUR-WS. http://hdl.handle.net/20.500.12708/55895 / Project: SEE
- Informal Proceedings of the 27th International Workshop on Description Logics / Informal Proceedings of the 27th International Workshop on Description Logics. (2014). In M. Bienvenu, M. M. Ortiz de la Fuente, R. Rosati, & M. Simkus (Eds.), CEUR Workshop Proceedings. CEUR-Proceedings. http://hdl.handle.net/20.500.12708/23938
2013
- Reasoning about Explanations for Negative Query Answers in DL-Lite / Calvanese, D., Ortiz, M., Simkus, M., & Stefanoni, G. (2013). Reasoning about Explanations for Negative Query Answers in DL-Lite. Journal of Artificial Intelligence Research, 48, 635–669. https://doi.org/10.1613/jair.3870 / Projects: Hybride Wissensbasen, Net2, SemDat
- Reasoning and Query Answering in Description Logics / Ortiz de la Fuente, M. M. (2013). Reasoning and Query Answering in Description Logics. School of the Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla, Mexico, Non-EU. http://hdl.handle.net/20.500.12708/85758
- Ontology Based Query Answering: The Story So Far / Ortiz de la Fuente, M. M. (2013). Ontology Based Query Answering: The Story So Far. In L. Bravo & M. Lenzerini (Eds.), Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management (pp. 1–14). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55143 / Project: SemDat
- Tractability Guarantees for DL-Lite Query Answering / Bienvenu, M., Ortiz de la Fuente, M. M., Simkus, M., & Xiao, G. (2013). Tractability Guarantees for DL-Lite Query Answering. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Informal Proceedings of the 26th International Workshop on Description Logics (pp. 41–52). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55142 / Projects: FAIR, Hybride Wissensbasen, Net2, SEE, SemDat
- Evolving Graph Databases under Description Logic Constraints / Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2013). Evolving Graph Databases under Description Logic Constraints. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Informal Proceedings of the 26th International Workshop on Description Logics (pp. 120–131). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55141 / Projects: Hybride Wissensbasen, Net2, SemDat
- Conjunctive Regular Path Queries in Lightweight Description Logics / Bienvenu, M., Ortiz de la Fuente, M. M., & Simkus, M. (2013). Conjunctive Regular Path Queries in Lightweight Description Logics. In F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (pp. 761–767). AAAI Press. http://hdl.handle.net/20.500.12708/55043 / Projects: FAIR, Hybride Wissensbasen, Net2, SEE, SemDat
- Tractable Queries for Lightweight Description Logics / Bienvenu, M., Ortiz de la Fuente, M. M., Simkus, M., & Xiao, G. (2013). Tractable Queries for Lightweight Description Logics. In F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (pp. 768–774). AAAI Press. http://hdl.handle.net/20.500.12708/55042 / Projects: FAIR, Hybride Wissensbasen, Net2, SEE, SemDat
2012
- Conjunctive query answering in the description logic SH using knots / Eiter, T., Ortiz, M., & Šimkus, M. (2012). Conjunctive query answering in the description logic SH using knots. Journal of Computer and System Sciences, 78(1), 47–85. https://doi.org/10.1016/j.jcss.2011.02.012 / Projects: Hybride Wissensbasen, Net2, SemDat
- Answering Expressive Path Queries over Lightweight DL Knowledge Bases / Bienvenu, M., Ortiz de la Fuente, M. M., & Simkus, M. (2012). Answering Expressive Path Queries over Lightweight DL Knowledge Bases. In Y. Kazakov, D. Lembo, & F. Wolter (Eds.), Proc. of the 2012 International Workshop on Description Logics (DL 2012) (pp. 81–91). http://hdl.handle.net/20.500.12708/54354 / Projects: Hybride Wissensbasen, Net2, SemDat
- Towards Practical Query Answering for Horn SHIQ. / Eiter, T., Ortiz de la Fuente, M. M., Simkus, M., Tran, T.-K., & Xiao, G. (2012). Towards Practical Query Answering for Horn SHIQ. In Y. Kazakov, D. Lembo, & F. Wolter (Eds.), Proc. of the 2012 International Workshop on Description Logics (DL 2012) (pp. 158–168). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/54289 / Projects: Hybride Wissensbasen, SemDat
- Reasoning and Query Answering in Description Logics / Ortiz, M., & Šimkus, M. (2012). Reasoning and Query Answering in Description Logics. In T. Eiter & T. Krennwallner (Eds.), Lecture Notes in Computer Science (pp. 1–53). Springer LNCS. https://doi.org/10.1007/978-3-642-33158-9_1 / Projects: Hybride Wissensbasen, SemDat
- Query Rewriting for Horn-SHIQ Plus Rules / Eiter, T., Ortiz de la Fuente, M. M., Simkus, M., Tran, T.-K., & Xiao, G. (2012). Query Rewriting for Horn-SHIQ Plus Rules. In J. Hoffmann & B. Selman (Eds.), Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (pp. 726–733). AAAI Press. http://hdl.handle.net/20.500.12708/54357 / Projects: Hybride Wissensbasen, Net2, SemDat
- The Complexity of Explaining Negative Query Answers in DL-Lite / Calvanese, D., Ortiz de la Fuente, M. M., Simkus, M., & Stefanoni, G. (2012). The Complexity of Explaining Negative Query Answers in DL-Lite. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012 (pp. 583–587). AAAI Press. http://hdl.handle.net/20.500.12708/54355 / Projects: Hybride Wissensbasen, Net2, SemDat
2011
- The Complexity of Conjunctive Query Abduction in DL-Lite / Calvanese, D., Ortiz de la Fuente, M. M., Simkus, M., & Stefanoni, G. (2011). The Complexity of Conjunctive Query Abduction in DL-Lite. In R. Rosati, S. Rudolph, & M. Zakharyaschev (Eds.), CEUR Workshop Proceedings (p. 11). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/53694
- A Practical Automata-Based Technique for Reasoning in Expressive Description Logics / Calvanese, D., Carbotta, D., & Ortiz de la Fuente, M. M. (2011). A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. In T. Walsh (Ed.), Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (pp. 798–804). https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-140
- Containment of Regular Path Queries under Description Logic Constraints / Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2011). Containment of Regular Path Queries under Description Logic Constraints. In T. Walsh (Ed.), Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (pp. 805–812). https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-141
- Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ / Ortiz de la Fuente, M. M., Simkus, M., & Rudolph, S. (2011). Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. In T. Walsh (Ed.), Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (pp. 1039–1044). https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-178 / Project: Hybride Wissensbasen
- D3.4 Converged and Optimized Combinations of Rules and Ontologies / Feier, C., Eiter, T., Kifer, M., Mosca, A., Rezk, M., Rosati, R., Ortiz de la Fuente, M. M., Simkus, M., Tran, T.-K., & Xiao, G. (2011). D3.4 Converged and Optimized Combinations of Rules and Ontologies (D3.4). http://hdl.handle.net/20.500.12708/37097
2010
- Query answering in expressive description logics : techniques and complexity results / Ortiz, M. (2010). Query answering in expressive description logics : techniques and complexity results [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37221
- Query Answering in the Description Logic S / Bienvenu, M., Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2010). Query Answering in the Description Logic S. In V. Haarslev, D. Toman, & G. Weddell (Eds.), Proceedings of the 23rd International Workshop on Description Logics (DL-2010) (pp. 149–160). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/53392 / Project: Hybride Wissensbasen
- Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 / Ortiz de la Fuente, M. M., Rudolph, S., & Simkus, M. (2010). Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010) (pp. 269–279). AAAI Press, Menlo Park. http://hdl.handle.net/20.500.12708/53391 / Project: Hybride Wissensbasen
- Query Answering is undecidable in DLs with regular expressions, inverses, nominals, and counting / Ortiz de la Fuente, M. M., Rudolph, S., & Simkus, M. (2010). Query Answering is undecidable in DLs with regular expressions, inverses, nominals, and counting (INFSYS RR 1843-10-03). http://hdl.handle.net/20.500.12708/36760
- Query Answering in the Description Logic S / Bienvenu, M., Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2010). Query Answering in the Description Logic S (INFSYS RR 1843-10-01). http://hdl.handle.net/20.500.12708/36759
2009
- Query Answering over expressive DL Ontologies / Ortiz de la Fuente, M. M. (2009). Query Answering over expressive DL Ontologies. Seminar of the Artificial Intelligence Department, Technical University of Madrid (DIA - UPM), Technical University of Madrid, Madrid, Spain, EU. http://hdl.handle.net/20.500.12708/84977 / Project: Hybride Wissensbasen
- Querying Expressive Knowledge Bases / Ortiz de la Fuente, M. M. (2009). Querying Expressive Knowledge Bases. Seminar of the Artificial Intelligence Research Group, University Rey Juan Carlos (GIA - URJC), University Rey Juan Carlos. Madrid, Spain, EU. http://hdl.handle.net/20.500.12708/84976 / Project: Hybride Wissensbasen
- Querying Description Logic Knowledge Bases: automata-theoretic techniques / Ortiz de la Fuente, M. M. (2009). Querying Description Logic Knowledge Bases: automata-theoretic techniques. Moscow-Vienna Workshop on Logic and Computation 2009, Wien, Austria. http://hdl.handle.net/20.500.12708/84975 / Project: Hybride Wissensbasen
- Reasoning with knots / Ortiz de la Fuente, M. M., Simkus, M., & Eiter, T. (2009). Reasoning with knots. Tutorial sessions, Faculty of Computer Sicience, BUAP, Puebla, Mexiko, Non-EU. http://hdl.handle.net/20.500.12708/84974 / Project: Hybride Wissensbasen
- Query Answering in Horn-SHIQ / Ortiz de la Fuente, M. M. (2009). Query Answering in Horn-SHIQ. Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy, EU. http://hdl.handle.net/20.500.12708/84972 / Project: Hybride Wissensbasen
- Regular Path Queries in Expressive Description Logics with Nominals / Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2009). Regular Path Queries in Expressive Description Logics with Nominals. In C. Boutilier (Ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 714–720). AAAI Press. http://hdl.handle.net/20.500.12708/52740 / Project: Hybride Wissensbasen
- Query Answering in Description Logics with Transitive Roles / Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2009). Query Answering in Description Logics with Transitive Roles. In C. Boutilier (Ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 759–764). AAAI Press. http://hdl.handle.net/20.500.12708/52739 / Project: Hybride Wissensbasen
- Query Answering in Description Logics: The Knots Approach / Eiter, T., Lutz, C., Ortiz, M., & Šimkus, M. (2009). Query Answering in Description Logics: The Knots Approach. In H. Ono, M. Kanazawa, & R. J. G. B. de Queiroz (Eds.), Logic, Language, Information and Computation (pp. 26–36). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-02261-6_3 / Project: Hybride Wissensbasen
- Query answering in description logics with transitive roles / Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2009). Query answering in description logics with transitive roles (INFSYS RR-1843-09-02). http://hdl.handle.net/20.500.12708/36177 / Project: Hybride Wissensbasen
- Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata / Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2009). Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata (INFSYS RR-1843-09-04). http://hdl.handle.net/20.500.12708/36175 / Project: Hybride Wissensbasen
- Conjunctive Query Answering in the Description Logic SH using Knots / Eiter, T., Ortiz de la Fuente, M. M., & Simkus, M. (2009). Conjunctive Query Answering in the Description Logic SH using Knots (INFSYS RR-1843-09-03). http://hdl.handle.net/20.500.12708/36176 / Project: Hybride Wissensbasen
2008
- Data complexity of query answering in expressive Description Logics via tableaux / Ortiz, M., Calvanese, D., & Eiter, T. (2008). Data complexity of query answering in expressive Description Logics via tableaux. Journal of Automated Reasoning, 41(1), 61–98. https://doi.org/10.1007/s10817-008-9102-9
- Query Answering in the Description Logic Horn-SHIQ / Eiter, T., Gottlob, G., Ortiz, M., & Šimkus, M. (2008). Query Answering in the Description Logic Horn-SHIQ. In S. Hölldobler, C. Lutz, & H. Wansing (Eds.), Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (pp. 166–179). Lecture Notes in Artificial Intelligence. https://doi.org/10.1007/978-3-540-87803-2_15
- The combined complexity of query answering in expressive DLs / Ortiz de la Fuente, M. M. (2008). The combined complexity of query answering in expressive DLs. Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy, EU. http://hdl.handle.net/20.500.12708/84971 / Project: Hybride Wissensbasen
- Reasoning Using Knots / Eiter, T., Ortiz, M., & Šimkus, M. (2008). Reasoning Using Knots. In I. Cervesato, H. Veith, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 377–390). Lecture Notes in Computer Science, Springer. https://doi.org/10.1007/978-3-540-89439-1_27
- An Automata-based algorithm for description logics around SRIQ / Ortiz de la Fuente, M. M. (2008). An Automata-based algorithm for description logics around SRIQ. In M. Osorio & I. Olmos (Eds.), Fourth Latin American Workshop on Non-Monotonic Reasoning (p. 15). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/52484
- Complexity of Query Answering over Expressive Knowledge Bases / Ortiz de la Fuente, M. M. (2008). Complexity of Query Answering over Expressive Knowledge Bases. In M. Montes y Gomez & M. Gonzalez Mendoza (Eds.), Proceedings of MICAI-2008, Doctoral Consortium (pp. 22–25). http://hdl.handle.net/20.500.12708/52432
- Extending Carin to the Description Logics of the $\mathcal{SH}$ Family / Ortiz, M. (2008). Extending Carin to the Description Logics of the $\mathcal{SH}$ Family. In S. Hölldobler, C. Lutz, & H. Wansing (Eds.), Logics in Artificial Intelligence (pp. 324–337). Lecture Notes in Artificial Intelligence. https://doi.org/10.1007/978-3-540-87803-2_27
- Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses / Ortiz de la Fuente, M. M., Simkus, M., & Eiter, T. (2008). Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. In D. Fox & C. P. Gomes (Eds.), 23rd AAAI Conference on Artificial Intelligence (pp. 504–510). AAAI Press. http://hdl.handle.net/20.500.12708/52283
- Conjunctive Query Answering in SH using Knots / Ortiz de la Fuente, M. M., Simkus, M., & Eiter, T. (2008). Conjunctive Query Answering in SH using Knots. In F. Baader, C. Lutz, & B. Motik (Eds.), Proceedings of the 21st International Workshop on Description Logics (DL2008) (p. 11). CEUR Workshop proceedings. http://hdl.handle.net/20.500.12708/52270
- Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles / Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2008). Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles (INFSYS RR-1843-08-09). http://hdl.handle.net/20.500.12708/35361
- Answering regular path queries in expressive description logics: An automata-theoretic approach (Preliminary Version) / Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2008). Answering regular path queries in expressive description logics: An automata-theoretic approach (Preliminary Version) (INFSYS RR-1843-08-05). http://hdl.handle.net/20.500.12708/35357
2007
- Strong Negation and Equivalence in the Safe Belief Semantics / Ortiz, M., & Osorio, M. (2007). Strong Negation and Equivalence in the Safe Belief Semantics. Journal of Logic and Computation, 17(3), 499–515. https://doi.org/10.1093/logcom/exm011
- Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach / Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2007). Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (pp. 391–396). AAAI Press. http://hdl.handle.net/20.500.12708/51871
- Data Complexoty of Query Answering In Expressive Description Logics via Tableaux / Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2007). Data Complexoty of Query Answering In Expressive Description Logics via Tableaux (INFSYS RR 1843-07-07). http://hdl.handle.net/20.500.12708/33097
2006
- A Fully Internalized Sequent Calculus for Hybrid Categorial Logics / Ortiz de la Fuente, M. M. (2006). A Fully Internalized Sequent Calculus for Hybrid Categorial Logics. In J. Huitink & S. Katrenko (Eds.), Proceedings of the Eleventh ESSLLI Student Session (pp. 136–147). http://hdl.handle.net/20.500.12708/51783
- Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics / Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2006). Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. In Proceedings 21th National Conference on Artificial Intelligence (AAAI ’06), July 16-23, 2006, Boston, USA ISBN 978-1-57735-281-5 (pp. 275–280). AAAI Press. http://hdl.handle.net/20.500.12708/51654
- Data Complexity of Answering Unions of Conjunctive Queries in SHIQ / Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2006). Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. In B. Parsi, U. Sattler, & D. Toman (Eds.), Proceedings of the 2006 International Workshop on Description Logics (DL’06). Windermere, Lake District, UK, May 30-June 1, 2006 (pp. 62–73). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51655
- Data Complexity of Query Answering in Expressive Description Logics with Nominals / Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2006). Data Complexity of Query Answering in Expressive Description Logics with Nominals (INFSYS RR-1843-06-03). http://hdl.handle.net/20.500.12708/33074
2005
- Data Complexity of Answering Conjunctive Queries over SHIQ Knowledge Bases / Ortiz de la Fuente, M. M., Calvanese, D., Eiter, T., & Franconi, E. (2005). Data Complexity of Answering Conjunctive Queries over SHIQ Knowledge Bases. http://hdl.handle.net/20.500.12708/33043
Supervisions
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- Querying Property Graphs with Ontologies / Dragovic, N. (2022). Querying Property Graphs with Ontologies [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.96571
- Improving learned decision trees with knowledge in domain ontologies / Llugiqi, M. (2022). Improving learned decision trees with knowledge in domain ontologies [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.99442
- Magic Shapes Algorithm for SHACL Validation / Löhnert, B. (2022). Magic Shapes Algorithm for SHACL Validation [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.96572
- Automata-based reasoning for decidable logics with data values / Labai, N. (2021). Automata-based reasoning for decidable logics with data values [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.94060
- Querying rich ontologies by exploiting the structure of data / Bajraktari, L. (2019). Querying rich ontologies by exploiting the structure of data [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.75782
- Semi-automatic engineering of topic ontologies from a common-sense knowledge graph / Böhm, K. (2018). Semi-automatic engineering of topic ontologies from a common-sense knowledge graph [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.55564
- A compilation technique for interactive ontology-mediated data exploration / Andreşel, M. (2016). A compilation technique for interactive ontology-mediated data exploration [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.31800
- Explaining query answers in lightweight ontologies : the DL-Lite case / Stefanoni, G. (2011). Explaining query answers in lightweight ontologies : the DL-Lite case [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161189
- Query answering in the description logic Horn-SHIQ / Tran, T. K. (2011). Query answering in the description logic Horn-SHIQ [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161188
- Towards RIF-OWL combination : an effective rasoning technique in integrating OWL and negation-free rules / Al-Manir, M. S. (2009). Towards RIF-OWL combination : an effective rasoning technique in integrating OWL and negation-free rules [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-29275
Awards
-
Distinguished Alumna Award of the European Masters in Computational Logic
2014 / International Organization -
EMCL Distinguished Alumni Award
2014 / Joint Consortium of the European Masters in Computational Logic -
Austrian Federal Ministry for Science and Research: Award of Excellence 2010
2010 / Austria -
OCG-Förderpreis
2007 / Austria -
The Google Anita Borg Memorial Scholarship
2007 -
ÖGAI-Preis
2006 / Austria -
Best Thesis Award, consortium of the European Masters in Computational Logic
2006 / International Organization
And more…
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 .