Ortiz, Magdalena

22 publications

IJCAI 2023 Description Logics with Pointwise Circumscription Federica Di Stefano, Magdalena Ortiz, Mantas Simkus

AAAI 2020 Query Rewriting for Ontology-Mediated Conditional Answers Medina Andresel, Magdalena Ortiz, Mantas Simkus

AAAI 2020 Resilient Logic Programs: Answer Set Programs Challenged by Ontologies Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus

AAAI 2019 Relaxing and Restraining Queries for OBDA Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz, Mantas Simkus

AAAI 2018 Combining Rules and Ontologies into Clopen Knowledge Bases Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus

IJCAI 2018 Compiling Model Representations for Querying Large ABoxes in Expressive DLs Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus

IJCAI 2018 Improving Data Management Using Domain Knowledge Magdalena Ortiz

IJCAI 2016 Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus

JAIR 2015 Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus

AAAI 2014 Managing Change in Graph-Structured Data Using Description Logics Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus

IJCAI 2013 Conjunctive Regular Path Queries in Lightweight Description Logics Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus

JAIR 2013 Reasoning About Explanations for Negative Query Answers in DL-Lite Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni

IJCAI 2013 Tractable Queries for Lightweight Description Logics Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao

AAAI 2012 Query Rewriting for Horn-SHIQ Plus Rules Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao

IJCAI 2011 A Practical Automata-Based Technique for Reasoning in Expressive Description Logics Diego Calvanese, Domenico Carbotta, Magdalena Ortiz

IJCAI 2011 Containment of Regular Path Queries Under Description Logic Constraints Diego Calvanese, Magdalena Ortiz, Mantas Simkus

IJCAI 2011 Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus

IJCAI 2009 Query Answering in Description Logics with Transitive Roles Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus

IJCAI 2009 Regular Path Queries in Expressive Description Logics with Nominals Diego Calvanese, Thomas Eiter, Magdalena Ortiz

AAAI 2008 Worst-Case Optimal Conjunctive Query Answering for an Expressive Description Logic Without Inverses Magdalena Ortiz, Mantas Simkus, Thomas Eiter

AAAI 2007 Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach Diego Calvanese, Thomas Eiter, Magdalena Ortiz

AAAI 2006 Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics Magdalena Ortiz, Diego Calvanese, Thomas Eiter