Formalizing the Learner Model for CSCL Environments. - Magdalena Ortiz 001; Gerardo Ayala 001; Mauricio Osorio 001 (ENC, 2003)

ASP: from Application Development to Syntax Extensions. - Magdalena Ortiz 001 (LA-NMR, 2004)

Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. - Magdalena Ortiz 001; Mauricio Osorio 001 (Answer Set Programming, 2005)

Agent Modelling for CSCL Environments using Answer Sets Programming. - Gerardo Ayala 001; Magdalena Ortiz 001; Mauricio Osorio 001 (ENC, 2005)

Application of ASP for Agent Modelling in CSCL Environments. - Gerardo Ayala 001; Magdalena Ortiz 001; Mauricio Osorio 001 (MICAI, 2005)

Data complexity of answering conjunctive queries over SHIQ knowledge bases - Magdalena Ortiz 001; Diego Calvanese; Thomas Eiter; Enrico Franconi (CoRR, 2005)

Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. - Magdalena Ortiz 001; Diego Calvanese; Thomas Eiter (AAAI, 2006)

Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. - Magdalena Ortiz 001; Diego Calvanese; Thomas Eiter (Description Logics, 2006)

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

Strong Negation and Equivalence in the Safe Belief Semantics. - Magdalena Ortiz 001; Mauricio Osorio 001 (J. Log. Comput., 2007)

Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. - Magdalena Ortiz 001; Mantas Simkus; Thomas Eiter (AAAI, 2008)

Conjunctive Query Answering in SH using Knots. - Magdalena Ortiz 001; Mantas Simkus; Thomas Eiter (Description Logics, 2008)

Query Answering in the Description Logic Horn-. - Thomas Eiter; Georg Gottlob; Magdalena Ortiz 001; Mantas Simkus (JELIA, 2008)

Extending Carinto the Description Logics of the Family. - Magdalena Ortiz 001 (JELIA, 2008)

An Automata-based algorithm for description logics around SRIQ. - Magdalena Ortiz 001 (LA-NMR, 2008)

Reasoning Using Knots. - Thomas Eiter; Magdalena Ortiz 001; Mantas Simkus (LPAR, 2008)

Data Complexity of Query Answering in Expressive Description Logics via Tableaux. - Magdalena Ortiz 001; Diego Calvanese; Thomas Eiter (J. Autom. Reason., 2008)

Regular Path Queries in Expressive Description Logics with Nominals. - Diego Calvanese; Thomas Eiter; Magdalena Ortiz 001 (IJCAI, 2009)

Query Answering in Description Logics with Transitive Roles. - Thomas Eiter; Carsten Lutz; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2009)

Query Answering in Description Logics: The Knots Approach. - Thomas Eiter; Carsten Lutz; Magdalena Ortiz 001; Mantas Simkus (WoLLIC, 2009)

Query Answering in the Description Logic S. - Meghyn Bienvenu; Thomas Eiter; Carsten Lutz; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2010)

Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. - Magdalena Ortiz 001; Sebastian Rudolph; Mantas Simkus (KR, 2010)

The Complexity of Conjunctive Query Abduction in DL-Lite. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus; Giorgio Stefanoni (Description Logics, 2011)

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

Containment of Regular Path Queries under Description Logic Constraints. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2011)

Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. - Magdalena Ortiz 001; Sebastian Rudolph; Mantas Simkus (IJCAI, 2011)

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

Answering Expressive Path Queries over Lightweight DL Knowledge Bases. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2012)

Towards Practical Query Answering for Horn-SHIQ. - Thomas Eiter; Magdalena Ortiz 001; Mantas Simkus; Trung-Kien Tran; Guohui Xiao 001 (Description Logics, 2012)

The Complexity of Explaining Negative Query Answers in DL-Lite. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus; Giorgio Stefanoni (KR, 2012)

Reasoning and Query Answering in Description Logics. - Magdalena Ortiz 001; Mantas Simkus (Reasoning Web, 2012)

Conjunctive query answering in the description logic SH using knots. - Thomas Eiter; Magdalena Ortiz 001; Mantas Simkus (J. Comput. Syst. Sci., 2012)

Ontology Based Query Answering: The Story So Far. - Magdalena Ortiz 001 (AMW, 2013)

Tractability Guarantees for DL-Lite Query Answering. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus; Guohui Xiao 001 (Description Logics, 2013)

Evolving Graph Databases under Description Logic Constraints. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2013)

Conjunctive Regular Path Queries in Lightweight Description Logics. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2013)

Tractable Queries for Lightweight Description Logics. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus; Guohui Xiao 001 (IJCAI, 2013)

Reasoning about Explanations for Negative Query Answers in DL-Lite. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus; Giorgio Stefanoni (J. Artif. Intell. Res., 2013)

Planning and Change in Graph Structured Data under Description Logics Constraints. - Shqiponja Ahmetaj; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (AMW, 2014)

Nested Regular Path Queries in Description Logics (Extended Abstract). - Meghyn Bienvenu; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (AMW, 2014)

Planning Problems for Graph Structured Data in Description Logics. - Shqiponja Ahmetaj; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2014)

Nested Regular Path Queries in Description Logics. - Meghyn Bienvenu; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (KR, 2014)

Revisiting the Hardness of Query Answering in Expressive Description Logics. - Magdalena Ortiz 001; Mantas Simkus (RR, 2014)

Managing Change in Graph-structured Data Using Description Logics (long version with appendix). - Shqiponja Ahmetaj; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (CoRR, 2014)

Answering regular path queries in expressive Description Logics via alternating tree-automata. - Diego Calvanese; Thomas Eiter; Magdalena Ortiz 001 (Inf. Comput., 2014)

Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus (AMW, 2015)

The Combined Complexity of Reasoning with Closed Predicates in Description Logics. - Nhung Ngo; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2015)

Ontology-Mediated Query Answering with Data-Tractable Description Logics. - Meghyn Bienvenu; Magdalena Ortiz 001 (Reasoning Web, 2015)

Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus (J. Artif. Intell. Res., 2015)

Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (AMW, 2016)

Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2016)

A Compilation Technique for Interactive Ontology-mediated Data Exploration. - Medina Andresel; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2016)

Verification of Evolving Graph-structured Data under Expressive Path Constraints. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (ICDT, 2016)

Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2016)

Closed Predicates in Description Logics: Results on Combined Complexity. - Nhung Ngo; Magdalena Ortiz 001; Mantas Simkus (KR, 2016)

Research Directions for Principles of Data Management (Abridged). - Serge Abiteboul; Marcelo Arenas; Pablo Barceló; Meghyn Bienvenu; Diego Calvanese; Claire David; Richard Hull 001; Eyke Hüllermeier; Benny Kimelfeld; Leonid Libkin; Wim Martens; Tova Milo; et al. (SIGMOD Rec., 2016)

Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. - Labinot Bajraktari; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2017)

Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report). - Nadia Labai; Martin Homola; Magdalena Ortiz 001 (Description Logics, 2017)

Querying with Vague Quantifiers Using Probabilistic Semantics. - Christian G. Fermüller; Matthias F. J. Hofer; Magdalena Ortiz 001 (FQAS, 2017)

Managing Change in Graph-Structured Data Using Description Logics. - Shqiponja Ahmetaj; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (ACM Trans. Comput. Log., 2017)

Combining Rules and Ontologies into Clopen Knowledge Bases. - Labinot Bajraktari; Magdalena Ortiz 001; Mantas Simkus (AAAI, 2018)

Taming Complex Role Inclusions for DL-Lite. - Medina Andresel; Yazmín Angélica Ibáñez-García; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2018)

A Tool for Building Topic-specific Ontologies Using a Knowledge Graph. - Katinka Böhm; Magdalena Ortiz 001 (Description Logics, 2018)

Rewriting Guarded Existential Rules into Small Datalog Programs. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (ICDT, 2018)

Compiling Model Representations for Querying Large ABoxes in Expressive DLs. - Labinot Bajraktari; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2018)

Improving Data Management using Domain Knowledge. - Magdalena Ortiz 001 (IJCAI, 2018)

Relaxing and Restraining Queries for OBDA - Extended Abstract. - Medina Andresel; Yazmín Angélica Ibáñez-García; Magdalena Ortiz 001; Mantas Simkus (KR, 2018)

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). - Serge Abiteboul; Marcelo Arenas; Pablo Barceló; Meghyn Bienvenu; Diego Calvanese; Claire David; Richard Hull 001; Eyke Hüllermeier; Benny Kimelfeld; Leonid Libkin; Wim Martens; Tova Milo; et al. (Dagstuhl Manifestos, 2018)

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

From Complete to Incomplete Data and Back in Ontology-Enriched Databases. - Magdalena Ortiz 001 (AMW, 2019)

Answer Set Programs Challenged by Ontologies. - Magdalena Ortiz 001; Sanja Pavlovic; Mantas Simkus (Description Logics, 2019)

Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case. - Magdalena Ortiz 001 (GCAI, 2019)

Optimizing Horn- SHIQ Reasoning for OBDA. - Labinot Bajraktari; Magdalena Ortiz 001; Guohui Xiao 001 (ISWC (1), 2019)

Pebble-Intervals Automata and FO2 with Two Orders (Extended Version). - Nadia Labai; Tomer Kotek; Magdalena Ortiz 001; Helmut Veith (CoRR, 2019)

Query Rewriting for Ontology-Mediated Conditional Answers. - Medina Andresel; Magdalena Ortiz 001; Mantas Simkus (AAAI, 2020)

Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. - Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (AAAI, 2020)

A Framework for Exploratory Query Answering with Ontologies. - Medina Andresel; Yazmín Ibáñez-García; Magdalena Ortiz 001 (Description Logics, 2020)

Rewritability Results for OMQs with Closed Predicates. - Magdalena Ortiz 001 (Description Logics, 2020)

Ontology Focusing: Knowledge-Enriched Databases on Demand. - Tomasz Gogacz; Víctor Gutiérrez-Basulto; Yazmín Ibáñez-García; Filip Murlak; Magdalena Ortiz 001; Mantas Simkus (ECAI, 2020)

Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. - Tomasz Gogacz; Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (KR, 2020)

An ExpTime Upper Bound for ALC with Integers. - Nadia Labai; Magdalena Ortiz 001; Mantas Simkus (KR, 2020)

Pebble-Intervals Automata and FO2 with Two Orders. - Nadia Labai; Tomer Kotek; Magdalena Ortiz 001; Helmut Veith (LATA, 2020)

Stable Model Semantics for Recursive SHACL. - Medina Andresel; Julien Corman; Magdalena Ortiz 001; Juan L. Reutter; Ognjen Savkovic; Mantas Simkus (WWW, 2020)

Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (Artif. Intell., 2020)

An ExpTime Upper Bound for ALC with Integers (Extended Version). - Nadia Labai; Magdalena Ortiz 001; Mantas Simkus (CoRR, 2020)

Reasoning about Explanations for Non-validation in SHACL (Extended Abstract). - Shqiponja Ahmetaj; Robert David 001; Magdalena Ortiz 001; Axel Polleres; Bojken Shehu; Mantas Simkus (Description Logics, 2021)

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). - Claudia Cauli; Magdalena Ortiz 001; Nir Piterman (Description Logics, 2021)

Reasoning about Explanations for Non-validation in SHACL. - Shqiponja Ahmetaj; Robert David 001; Magdalena Ortiz 001; Axel Polleres; Bojken Shehu; Mantas Simkus (KR, 2021)

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. - Claudia Cauli; Magdalena Ortiz 001; Nir Piterman (KR, 2021)

Explanations for Non-validation in SHACL. - Shqiponja Ahmetaj; Robert David 001; Magdalena Ortiz 001; Axel Polleres; Bojken Shehu; Mantas Simkus (ISWC (Posters/Demos/Industry), 2021)

Magic Shapes for Validation in SHACL. - Shqiponja Ahmetaj; Bianca Loehnert; Magdalena Ortiz 001; Mantas Simkus (ISWC (Posters/Demos/Industry), 2021)

Actions over Core-Closed Knowledge Bases. - Claudia Cauli; Magdalena Ortiz 001; Nir Piterman (IJCAR, 2022)

Pointwise Circumscription in Description Logics. - Federica Di Stefano 001; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2022)

Magic Shapes for SHACL Validation. - Shqiponja Ahmetaj; Bianca Löhnert; Magdalena Ortiz 001; Mantas Simkus (Proc. VLDB Endow., 2022)

On the Way to Temporal OBDA Systems (short paper). - Diego Calvanese; Cem Okulmus; Magdalena Ortiz 001; Mantas Simkus (AMW, 2023)

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). - Shqiponja Ahmetaj; Magdalena Ortiz 001; Anouk Michelle Oudshoorn; Mantas Simkus (Description Logics, 2023)

Circumscription in DL-Lite: Progress Report. - Piero A. Bonatti; Federica Di Stefano 001; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2023)

Rewriting Ontology-Mediated Navigational Queries into Cypher. - Nikola Dragovic; Cem Okulmus; Magdalena Ortiz 001 (Description Logics, 2023)

On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. - Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2023)

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Anouk Oudshoorn; Mantas Simkus (ECAI, 2023)

Description Logics with Pointwise Circumscription. - Federica Di Stefano 001; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2023)

A Short Introduction to SHACL for Logicians. - Magdalena Ortiz 001 (WoLLIC, 2023)

Towards SHACL Validation of Evolving Graphs. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (AMW, 2024)

Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite (Extended Abstract). - Bianca Löhnert; Nikolaus Augsten; Cem Okulmus; Magdalena Ortiz 001 (Description Logics, 2024)

Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. - Anouk Oudshoorn; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2024)

Datalog rewritability and data complexity of ALCHOIQ with closed predicates. - Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (Artif. Intell., 2024)

Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite. - Bianca Löhnert; Nikolaus Augsten; Cem Okulmus; Magdalena Ortiz 001 (ESWC (1), 2025)

Towards Practicable Defeasible Reasoning for ABoxes. - Jonas Haldimann; Magdalena Ortiz 001; Mantas Simkus (JELIA (1), 2025)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques. - Anouk Oudshoorn; Magdalena Ortiz 001; Mantas Simkus (CoRR, 2025)

SHACL Validation under Graph Updates (Extended Paper). - Shqiponja Ahmetaj; George Konstantinidis 001; Magdalena Ortiz 001; Paolo Pareti; Mantas Simkus (CoRR, 2025)

Minimal Model Reasoning in Description Logics: Don't Try This at Home! - Federica Di Stefano 001; Quentin Manière; Magdalena Ortiz 001; Mantas Simkus (CoRR, 2025)

Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Magdalena Ortiz 001; Matias Selin; Mantas Simkus (CoRR, 2025)