Magdalena Ortiz

Orcid: 0000-0002-2344-9658

Affiliations:
  • TU Wien, Institute of Information Systems, Vienna, Austria


According to our database1, Magdalena Ortiz authored at least 102 papers between 2003 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Short Introduction to SHACL for Logicians.
Proceedings of the Logic, Language, Information, and Computation, 2023

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting.
Proceedings of the ISWC 2023 Posters, 2023

Description Logics with Pointwise Circumscription.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

On the Expressive Power of Ontology-Mediated Queries: Capturing coNP.
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Rewriting Ontology-Mediated Navigational Queries into Cypher.
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Circumscription in DL-Lite: Progress Report.
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

On the Way to Temporal OBDA Systems (short paper).
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022
Magic Shapes for SHACL Validation.
Proc. VLDB Endow., 2022

Pointwise Circumscription in Description Logics.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Actions over Core-Closed Knowledge Bases.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021
Magic Shapes for Validation in SHACL.
Proceedings of the ISWC 2021 Posters, 2021

Explanations for Non-validation in SHACL.
Proceedings of the ISWC 2021 Posters, 2021

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Reasoning about Explanations for Non-validation in SHACL.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Reasoning about Explanations for Non-validation in SHACL (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020
An ExpTime Upper Bound for ALC with Integers (Extended Version).
CoRR, 2020

Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog.
Artif. Intell., 2020

Stable Model Semantics for Recursive SHACL.
Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020

Pebble-Intervals Automata and FO<sup>2</sup> with Two Orders.
Proceedings of the Language and Automata Theory and Applications, 2020

An ExpTime Upper Bound for ALC with Integers.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Ontology Focusing: Knowledge-Enriched Databases on Demand.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Rewritability Results for OMQs with Closed Predicates.
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), 2020

A Framework for Exploratory Query Answering with Ontologies.
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), 2020

Resilient Logic Programs: Answer Set Programs Challenged by Ontologies.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Query Rewriting for Ontology-Mediated Conditional Answers.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Pebble-Intervals Automata and FO2 with Two Orders (Extended Version).
CoRR, 2019

Optimizing Horn- <i>SHIQ</i> Reasoning for OBDA.
Proceedings of the Semantic Web - ISWC 2019, 2019

Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case.
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

Answer Set Programs Challenged by Ontologies.
Proceedings of the 32nd International Workshop on Description Logics, 2019

From Complete to Incomplete Data and Back in Ontology-Enriched Databases.
Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019

Relaxing and Restraining Queries for OBDA.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos, 2018

Relaxing and Restraining Queries for OBDA - Extended Abstract.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Improving Data Management using Domain Knowledge.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Compiling Model Representations for Querying Large ABoxes in Expressive DLs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Rewriting Guarded Existential Rules into Small Datalog Programs.
Proceedings of the 21st International Conference on Database Theory, 2018

A Tool for Building Topic-specific Ontologies Using a Knowledge Graph.
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, 2018

Taming Complex Role Inclusions for DL-Lite.
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, 2018

Combining Rules and Ontologies into Clopen Knowledge Bases.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Managing Change in Graph-Structured Data Using Description Logics.
ACM Trans. Comput. Log., 2017

Querying with Vague Quantifiers Using Probabilistic Semantics.
Proceedings of the Flexible Query Answering Systems - 12th International Conference, 2017

Constructive Satisfiability Procedure for ALC<sup>P</sup>(Z) (Preliminary Report).
Proceedings of the 30th International Workshop on Description Logics, 2017

Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming.
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec., 2016

Closed Predicates in Description Logics: Results on Combined Complexity.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Verification of Evolving Graph-structured Data under Expressive Path Constraints.
Proceedings of the 19th International Conference on Database Theory, 2016

A Compilation Technique for Interactive Ontology-mediated Data Exploration.
Proceedings of the 29th International Workshop on Description Logics, 2016

Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics.
Proceedings of the 29th International Workshop on Description Logics, 2016

Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

2015
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms.
J. Artif. Intell. Res., 2015

Ontology-Mediated Query Answering with Data-Tractable Description Logics.
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

The Combined Complexity of Reasoning with Closed Predicates in Description Logics.
Proceedings of the 28th International Workshop on Description Logics, 2015

Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014
Answering regular path queries in expressive Description Logics via alternating tree-automata.
Inf. Comput., 2014

Managing Change in Graph-structured Data Using Description Logics (long version with appendix).
CoRR, 2014

Revisiting the Hardness of Query Answering in Expressive Description Logics.
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Nested Regular Path Queries in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Planning Problems for Graph Structured Data in Description Logics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Nested Regular Path Queries in Description Logics (Extended Abstract).
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Planning and Change in Graph Structured Data under Description Logics Constraints.
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

2013
Reasoning about Explanations for Negative Query Answers in DL-Lite.
J. Artif. Intell. Res., 2013

Tractable Queries for Lightweight Description Logics.
Proceedings of the IJCAI 2013, 2013

Conjunctive Regular Path Queries in Lightweight Description Logics.
Proceedings of the IJCAI 2013, 2013

Evolving Graph Databases under Description Logic Constraints.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Tractability Guarantees for DL-Lite Query Answering.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Ontology Based Query Answering: The Story So Far.
Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013

2012
Conjunctive query answering in the description logic SH using knots.
J. Comput. Syst. Sci., 2012

Reasoning and Query Answering in Description Logics.
Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

The Complexity of Explaining Negative Query Answers in DL-Lite.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Towards Practical Query Answering for Horn-SHIQ.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Answering Expressive Path Queries over Lightweight DL Knowledge Bases.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Query Rewriting for Horn-SHIQ Plus Rules.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ.
Proceedings of the IJCAI 2011, 2011

Containment of Regular Path Queries under Description Logic Constraints.
Proceedings of the IJCAI 2011, 2011

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics.
Proceedings of the IJCAI 2011, 2011

The Complexity of Conjunctive Query Abduction in DL-Lite.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query Answering in the Description Logic S.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
Query Answering in Description Logics: The Knots Approach.
Proceedings of the Logic, 2009

Query Answering in Description Logics with Transitive Roles.
Proceedings of the IJCAI 2009, 2009

Regular Path Queries in Expressive Description Logics with Nominals.
Proceedings of the IJCAI 2009, 2009

2008
Data Complexity of Query Answering in Expressive Description Logics via Tableaux.
J. Autom. Reason., 2008

Reasoning Using Knots.
Proceedings of the Logic for Programming, 2008

An Automata-based algorithm for description logics around SRIQ.
Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, 2008

Extending Carinto the Description Logics of the Family.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Query Answering in the Description Logic Horn-.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Conjunctive Query Answering in SH using Knots.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Strong Negation and Equivalence in the Safe Belief Semantics.
J. Log. Comput., 2007

Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Data Complexity of Answering Unions of Conjunctive Queries in <i>SHIQ</i>.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.
Proceedings of the Proceedings, 2006

2005
Data complexity of answering conjunctive queries over SHIQ knowledge bases
CoRR, 2005

Application of ASP for Agent Modelling in CSCL Environments.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

Agent Modelling for CSCL Environments using Answer Sets Programming.
Proceedings of the Sixth Mexican International Conference on Computer Science (ENC 2005), 2005

Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics.
Proceedings of the Answer Set Programming, 2005

2004
ASP: from Application Development to Syntax Extensions.
Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, 2004

2003
Formalizing the Learner Model for CSCL Environments.
Proceedings of the 4th Mexican International Conference on Computer Science (ENC 2003), 2003


  Loading...