| 2026 | KR | Static Analysis of Recursive SHACL. | Anouk Michelle Oudshoorn, Magdalena Ortiz, Mantas Simkus |
| 2025 | JELIA | Towards Practicable Defeasible Reasoning for ABoxes. | Jonas Haldimann, Magdalena Ortiz, Mantas Simkus |
| 2025 | KR | Expressive Description Logics with Rich Yet Affordable Numeric Constraints. | Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2025 | KR | Minimal Model Reasoning in Description Logics: Don't Try This at Home! | Federica Di Stefano, Quentin Manire, Magdalena Ortiz, Mantas Simkus |
| 2023 | ECAI | Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. | Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus |
| 2023 | IJCAI | Description Logics with Pointwise Circumscription. | Federica Di Stefano, Magdalena Ortiz, Mantas Simkus |
| 2023 | WoLLIC | A Short Introduction to SHACL for Logicians. | Magdalena Ortiz |
| 2022 | CADE | Actions over Core-Closed Knowledge Bases. | Claudia Cauli, Magdalena Ortiz, Nir Piterman |
| 2021 | KR | Reasoning about Explanations for Non-validation in SHACL. | Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus |
| 2021 | KR | Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. | Claudia Cauli, Magdalena Ortiz, Nir Piterman |
| 2020 | AAAI | Query Rewriting for Ontology-Mediated Conditional Answers. | Medina Andresel, Magdalena Ortiz, Mantas Simkus |
| 2020 | AAAI | Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. | Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2020 | ECAI | Ontology Focusing: Knowledge-Enriched Databases on Demand. | Tomasz Gogacz, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca, Filip Murlak, Magdalena Ortiz, Mantas Simkus |
| 2020 | KR | Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. | Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2020 | KR | An ExpTime Upper Bound for ALC with Integers. | Nadia Labai, Magdalena Ortiz, Mantas Simkus |
| 2020 | LATA | Pebble-Intervals Automata and FO | Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith |
| 2020 | WWW | Stable Model Semantics for Recursive SHACL. | Medina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus |
| 2019 | AAAI | Relaxing and Restraining Queries for OBDA. | Medina Andresel, Yazmn Ibez-Garca, Magdalena Ortiz, Mantas Simkus |
| 2018 | AAAI | Combining Rules and Ontologies into Clopen Knowledge Bases. | Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus |
| 2018 | ICDT | Rewriting Guarded Existential Rules into Small Datalog Programs. | Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus |
| 2018 | IJCAI | Compiling Model Representations for Querying Large ABoxes in Expressive DLs. | Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus |
| 2018 | IJCAI | Improving Data Management using Domain Knowledge. | Magdalena Ortiz |
| 2018 | KR | Relaxing and Restraining Queries for OBDA - Extended Abstract. | Medina Andresel, Yazmn Anglica Ibez-Garca, Magdalena Ortiz, Mantas Simkus |
| 2017 | FQAS | Querying with Vague Quantifiers Using Probabilistic Semantics. | Christian G. Fermller, Matthias F. J. Hofer, Magdalena Ortiz |
| 2016 | ICDT | Verification of Evolving Graph-structured Data under Expressive Path Constraints. | Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2016 | IJCAI | Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. | Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus |
| 2016 | KR | Closed Predicates in Description Logics: Results on Combined Complexity. | Nhung Ngo, Magdalena Ortiz, Mantas Simkus |
| 2014 | AAAI | Managing Change in Graph-Structured Data Using Description Logics. | Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2014 | KR | Nested Regular Path Queries in Description Logics. | Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2013 | IJCAI | Conjunctive Regular Path Queries in Lightweight Description Logics. | Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus |
| 2013 | IJCAI | Tractable Queries for Lightweight Description Logics. | Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao |
| 2012 | AAAI | Query Rewriting for Horn-SHIQ Plus Rules. | Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao |
| 2012 | KR | The Complexity of Explaining Negative Query Answers in DL-Lite. | Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni |
| 2011 | IJCAI | A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. | Diego Calvanese, Domenico Carbotta, Magdalena Ortiz |
| 2011 | IJCAI | Containment of Regular Path Queries under Description Logic Constraints. | Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2011 | IJCAI | Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. | Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus |
| 2010 | KR | Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. | Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus |
| 2009 | IJCAI | Regular Path Queries in Expressive Description Logics with Nominals. | Diego Calvanese, Thomas Eiter, Magdalena Ortiz |
| 2009 | IJCAI | Query Answering in Description Logics with Transitive Roles. | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| 2009 | WoLLIC | Query Answering in Description Logics: The Knots Approach. | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| 2008 | AAAI | Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. | Magdalena Ortiz, Mantas Simkus, Thomas Eiter |
| 2008 | JELIA | Query Answering in the Description Logic Horn-. | Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus |
| 2008 | JELIA | Extending Carinto the Description Logics of the Family. | Magdalena Ortiz |
| 2008 | LPAR | Reasoning Using Knots. | Thomas Eiter, Magdalena Ortiz, Mantas Simkus |
| 2007 | AAAI | Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. | Diego Calvanese, Thomas Eiter, Magdalena Ortiz |
| 2006 | AAAI | Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. | Magdalena Ortiz, Diego Calvanese, Thomas Eiter |