Magdalena Ortiz

ORCID

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 48

Top Venues

Description Logics

CoRR

AMW

Publications

Claudia Cauli, Magdalena Ortiz, Nir Piterman
Actions over Core-closed Knowledge Bases. CoRR (2022)
Shqiponja Ahmetaj, Bianca Loehnert, Magdalena Ortiz, Mantas Simkus
Magic Shapes for Validation in SHACL. ISWC (Posters/Demos/Industry) (2021)
Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Explanations for Non-validation in SHACL. ISWC (Posters/Demos/Industry) (2021)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). Description Logics (2021)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. KR (2021)
Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Reasoning about Explanations for Non-validation in SHACL. KR (2021)
Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Reasoning about Explanations for Non-validation in SHACL (Extended Abstract). Description Logics (2021)
Medina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus
Stable Model Semantics for Recursive SHACL. WWW (2020)
Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. KR (2020)
Medina Andresel, Magdalena Ortiz, Mantas Simkus
Query Rewriting for Ontology-Mediated Conditional Answers. AAAI (2020)
Nadia Labai, Magdalena Ortiz, Mantas Simkus
An ExpTime Upper Bound for ALC with Integers (Extended Version). CoRR (2020)
Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
with Two Orders. LATA (2020)
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. AAAI (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-Enriched Databases on Demand. ECAI (2020)
Nadia Labai, Magdalena Ortiz, Mantas Simkus
An ExpTime Upper Bound for ALC with Integers. KR (2020)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. Artif. Intell. 280 (2020)
Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz
A Framework for Exploratory Query Answering with Ontologies. Description Logics (2020)
Magdalena Ortiz
Rewritability Results for OMQs with Closed Predicates. Description Logics (2020)
Magdalena Ortiz
Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case. GCAI (2019)
Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
Pebble-Intervals Automata and FO2 with Two Orders (Extended Version). CoRR (2019)
Magdalena Ortiz
From Complete to Incomplete Data and Back in Ontology-Enriched Databases. AMW (2019)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-enriched Databases on Demand. CoRR (2019)
Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA. AAAI (2019)
Labinot Bajraktari, Magdalena Ortiz, Guohui Xiao
Reasoning for OBDA. ISWC (1) (2019)
Magdalena Ortiz, Sanja Pavlovic, Mantas Simkus
Answer Set Programs Challenged by Ontologies. Description Logics (2019)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog. CoRR (2019)
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA. CoRR (2018)
Katinka Böhm, Magdalena Ortiz
A Tool for Building Topic-specific Ontologies Using a Knowledge Graph. Description Logics (2018)
Magdalena Ortiz
Improving Data Management using Domain Knowledge. IJCAI (2018)
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Combining Rules and Ontologies into Clopen Knowledge Bases. AAAI (2018)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7 (1) (2018)
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Compiling Model Representations for Querying Large ABoxes in Expressive DLs. IJCAI (2018)
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Taming Complex Role Inclusions for DL-Lite. Description Logics (2018)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Rewriting Guarded Existential Rules into Small Datalog Programs. ICDT (2018)
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA - Extended Abstract. KR (2018)
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. Description Logics (2017)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR (2017)
Christian G. Fermüller, Matthias F. J. Hofer, Magdalena Ortiz
Querying with Vague Quantifiers Using Probabilistic Semantics. FQAS (2017)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Managing Change in Graph-Structured Data Using Description Logics. ACM Trans. Comput. Log. 18 (4) (2017)
Nadia Labai, Martin Homola, Magdalena Ortiz
(Z) (Preliminary Report). Description Logics (2017)
Medina Andresel, Magdalena Ortiz, Mantas Simkus
A Compilation Technique for Interactive Ontology-mediated Data Exploration. Description Logics (2016)
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
Closed Predicates in Description Logics: Results on Combined Complexity. AMW (2016)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45 (4) (2016)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Verification of Evolving Graph-structured Data under Expressive Path Constraints. ICDT (2016)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. Description Logics (2016)
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
Closed Predicates in Description Logics: Results on Combined Complexity. KR (2016)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. IJCAI (2016)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. AMW (2016)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. AMW (2015)
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
The Combined Complexity of Reasoning with Closed Predicates in Description Logics. Description Logics (2015)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. J. Artif. Intell. Res. 53 (2015)
Meghyn Bienvenu, Magdalena Ortiz
Ontology-Mediated Query Answering with Data-Tractable Description Logics. Reasoning Web (2015)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Planning Problems for Graph Structured Data in Description Logics. Description Logics (2014)
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Nested Regular Path Queries in Description Logics (Extended Abstract). AMW (2014)
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
Answering regular path queries in expressive Description Logics via alternating tree-automata. Inf. Comput. 237 (2014)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Managing Change in Graph-structured Data Using Description Logics (long version with appendix). CoRR (2014)
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Nested Regular Path Queries in Description Logics. CoRR (2014)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Planning and Change in Graph Structured Data under Description Logics Constraints. AMW (2014)
Magdalena Ortiz, Mantas Simkus
Revisiting the Hardness of Query Answering in Expressive Description Logics. RR (2014)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Managing Change in Graph-Structured Data Using Description Logics. AAAI (2014)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
Reasoning about Explanations for Negative Query Answers in DL-Lite. CoRR (2014)
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Nested Regular Path Queries in Description Logics. KR (2014)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
Tractability Guarantees for DL-Lite Query Answering. Description Logics (2013)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
Tractable Queries for Lightweight Description Logics. IJCAI (2013)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Evolving Graph Databases under Description Logic Constraints. Description Logics (2013)
Magdalena Ortiz
Ontology Based Query Answering: The Story So Far. AMW (2013)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Conjunctive Regular Path Queries in Lightweight Description Logics. IJCAI (2013)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
Reasoning about Explanations for Negative Query Answers in DL-Lite. J. Artif. Intell. Res. 48 (2013)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Answering Expressive Path Queries over Lightweight DL Knowledge Bases. Description Logics (2012)
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
Query Rewriting for Horn-SHIQ Plus Rules. AAAI (2012)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
The Complexity of Explaining Negative Query Answers in DL-Lite. KR (2012)
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
Towards Practical Query Answering for Horn-SHIQ. Description Logics (2012)
Magdalena Ortiz, Mantas Simkus
Reasoning and Query Answering in Description Logics. Reasoning Web (2012)
Thomas Eiter, Magdalena Ortiz, Mantas Simkus
Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. 78 (1) (2012)
Diego Calvanese, Domenico Carbotta, Magdalena Ortiz
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. IJCAI (2011)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Containment of Regular Path Queries under Description Logic Constraints. IJCAI (2011)
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. IJCAI (2011)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
The Complexity of Conjunctive Query Abduction in DL-Lite. Description Logics (2011)
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Query Answering in the Description Logic S. Description Logics (2010)
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. KR (2010)
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
Regular Path Queries in Expressive Description Logics with Nominals. IJCAI (2009)
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Query Answering in Description Logics: The Knots Approach. WoLLIC (2009)
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Query Answering in Description Logics with Transitive Roles. IJCAI (2009)
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
Conjunctive Query Answering in SH using Knots. Description Logics (2008)
Thomas Eiter, Magdalena Ortiz, Mantas Simkus
Reasoning Using Knots. LPAR (2008)
Magdalena Ortiz
Extending Carinto the Description Logics of the Family. JELIA (2008)
Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus
Query Answering in the Description Logic Horn-. JELIA (2008)
Magdalena Ortiz
An Automata-based algorithm for description logics around SRIQ. LA-NMR (2008)
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. AAAI (2008)
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
Data Complexity of Query Answering in Expressive Description Logics via Tableaux. J. Autom. Reason. 41 (1) (2008)
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI (2007)
Magdalena Ortiz, Mauricio Osorio
Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. 17 (3) (2007)
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI (2006)
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
. Description Logics (2006)
Magdalena Ortiz, Mauricio Osorio
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming (2005)
Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi
Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR (2005)
Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
Application of ASP for Agent Modelling in CSCL Environments. MICAI (2005)
Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
Agent Modelling for CSCL Environments using Answer Sets Programming. ENC (2005)
Magdalena Ortiz
ASP: from Application Development to Syntax Extensions. LA-NMR (2004)
Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio
Formalizing the Learner Model for CSCL Environments. ENC (2003)

Magdalena Ortiz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Magdalena Ortiz