Magdalena Ortiz

138 papers A* 34A 5B 4C 4Journal 29Unranked 58

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	SHACL validation in the presence of ontologies: Semantics and rewriting techniques. Artif. Intell. Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
2025	A*	`conf`	Expressive Description Logics with Rich Yet Affordable Numeric Constraints. KR Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2025	J	`jnl`	Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization. CoRR Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Magdalena Ortiz, Matias Selin, Mantas Simkus
2025	A*	`conf`	Minimal Model Reasoning in Description Logics: Don't Try This at Home! KR Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025	J	`jnl`	Minimal Model Reasoning in Description Logics: Don't Try This at Home! CoRR Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025	—	`conf`	Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract). DL Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025	A*	`ed.`	Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025 KR Magdalena Ortiz, Renata Wassermann, Torsten Schaub
2025	—	`conf`	Query Rewriting for Nested Navigational Queries over Property Graphs. DL Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz
2025	—	`conf`	SHACL Validation Under Graph Updates. ISWC (1) Shqiponja Ahmetaj, George Konstantinidis, Magdalena Ortiz, Paolo Pareti, Mantas Simkus
2025	J	`jnl`	SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques. CoRR Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
2025	J	`jnl`	SHACL Validation under Graph Updates (Extended Paper). CoRR Shqiponja Ahmetaj, George Konstantinidis, Magdalena Ortiz, Paolo Pareti, Mantas Simkus
2025	—	`conf`	Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite. ESWC (1) Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz
2025	—	`conf`	Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract). DL Jonas Philipp Haldimann, Magdalena Ortiz, Mantas Simkus
2025	—	`conf`	Towards Practicable Defeasible Reasoning for ABoxes. JELIA (1) Jonas Haldimann, Magdalena Ortiz, Mantas Simkus
2025	—	`conf`	Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract). DL Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2024	J	`jnl`	Datalog rewritability and data complexity of ALCHOIQ with closed predicates. Artif. Intell. Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2024	—	`ed.`	Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings FoIKS Arne Meier, Magdalena Ortiz
2024	A*	`ed.`	Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024. KR Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco
2024	—	`conf`	Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. Description Logics Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
2024	—	`conf`	Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite (Extended Abstract). Description Logics Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz
2024	J	`jnl`	Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite. CoRR Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz
2024	—	`conf`	Towards SHACL Validation of Evolving Graphs. AMW Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2023	C	`conf`	A Short Introduction to SHACL for Logicians. WoLLIC Magdalena Ortiz
2023	—	`conf`	Circumscription in DL-Lite: Progress Report. Description Logics Piero A. Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
2023	A*	`conf`	Description Logics with Pointwise Circumscription. IJCAI Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
2023	B	`ed.`	Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings JELIA Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz
2023	—	`conf`	On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. Description Logics Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2023	—	`conf`	On the Way to Temporal OBDA Systems (short paper). AMW Diego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus
2023	—	`conf`	Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). Description Logics Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Michelle Oudshoorn, Mantas Simkus
2023	A	`conf`	Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ECAI Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
2023	—	`conf`	Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ISWC (Posters/Demos/Industry) Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2023	—	`conf`	Rewriting Ontology-Mediated Navigational Queries into Cypher. Description Logics Nikola Dragovic, Cem Okulmus, Magdalena Ortiz
2022	A	`conf`	Actions over Core-Closed Knowledge Bases. IJCAR Claudia Cauli, Magdalena Ortiz, Nir Piterman
2022	J	`jnl`	Actions over Core-closed Knowledge Bases. CoRR Claudia Cauli, Magdalena Ortiz, Nir Piterman
2022	J	`jnl`	Magic Shapes for SHACL Validation. Proc. VLDB Endow. Shqiponja Ahmetaj, Bianca Löhnert, Magdalena Ortiz, Mantas Simkus
2022	—	`conf`	Pointwise Circumscription in Description Logics. Description Logics Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
2021	—	`conf`	Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). Description Logics Claudia Cauli, Magdalena Ortiz, Nir Piterman
2021	A*	`conf`	Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. KR Claudia Cauli, Magdalena Ortiz, Nir Piterman
2021	—	`conf`	Explanations for Non-validation in SHACL. ISWC (Posters/Demos/Industry) Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
2021	—	`conf`	Magic Shapes for Validation in SHACL. ISWC (Posters/Demos/Industry) Shqiponja Ahmetaj, Bianca Loehnert, Magdalena Ortiz, Mantas Simkus
2021	—	`conf`	Reasoning about Explanations for Non-validation in SHACL (Extended Abstract). Description Logics Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
2021	A*	`conf`	Reasoning about Explanations for Non-validation in SHACL. KR Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
2020	—	`conf`	A Framework for Exploratory Query Answering with Ontologies. Description Logics Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz
2020	J	`jnl`	An ExpTime Upper Bound for ALC with Integers (Extended Version). CoRR Nadia Labai, Magdalena Ortiz, Mantas Simkus
2020	A*	`conf`	An ExpTime Upper Bound for ALC with Integers. KR Nadia Labai, Magdalena Ortiz, Mantas Simkus
2020	A*	`conf`	Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. KR Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2020	A	`conf`	Ontology Focusing: Knowledge-Enriched Databases on Demand. ECAI Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
2020	C	`conf`	Pebble-Intervals Automata and FO LATA Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
2020	J	`jnl`	Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. Artif. Intell. Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2020	A*	`conf`	Query Rewriting for Ontology-Mediated Conditional Answers. AAAI Medina Andresel, Magdalena Ortiz, Mantas Simkus
2020	A*	`conf`	Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. AAAI Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2020	—	`conf`	Rewritability Results for OMQs with Closed Predicates. Description Logics Magdalena Ortiz
2020	A*	`conf`	Stable Model Semantics for Recursive SHACL. WWW Medina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus
2019	—	`conf`	Answer Set Programs Challenged by Ontologies. Description Logics Magdalena Ortiz, Sanja Pavlovic, Mantas Simkus
2019	—	`conf`	From Complete to Incomplete Data and Back in Ontology-Enriched Databases. AMW Magdalena Ortiz
2019	J	`jnl`	Ontology Focusing: Knowledge-enriched Databases on Demand. CoRR Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
2019	—	`conf`	Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case. GCAI Magdalena Ortiz
2019	—	`conf`	Optimizing Horn- ISWC (1) Labinot Bajraktari, Magdalena Ortiz, Guohui Xiao
2019	J	`jnl`	Pebble-Intervals Automata and FO2 with Two Orders (Extended Version). CoRR Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
2019	J	`jnl`	Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog. CoRR Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2019	A*	`conf`	Relaxing and Restraining Queries for OBDA. AAAI Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2018	—	`conf`	A Tool for Building Topic-specific Ontologies Using a Knowledge Graph. Description Logics Katinka Böhm, Magdalena Ortiz
2018	A*	`conf`	Combining Rules and Ontologies into Clopen Knowledge Bases. AAAI Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
2018	A*	`conf`	Compiling Model Representations for Querying Large ABoxes in Expressive DLs. IJCAI Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
2018	A*	`conf`	Improving Data Management using Domain Knowledge. IJCAI Magdalena Ortiz
2018	—	`ed.`	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 - 29th, 2018. Description Logics Magdalena Ortiz, Thomas Schneider
2018	A*	`conf`	Relaxing and Restraining Queries for OBDA - Extended Abstract. KR Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2018	J	`jnl`	Relaxing and Restraining Queries for OBDA. CoRR Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2018	J	`jnl`	Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 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
2018	A	`conf`	Rewriting Guarded Existential Rules into Small Datalog Programs. ICDT Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2018	—	`conf`	Taming Complex Role Inclusions for DL-Lite. Description Logics Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2017	—	`conf`	Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. Description Logics Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
2017	—	`conf`	Constructive Satisfiability Procedure for ALC Description Logics Nadia Labai, Martin Homola, Magdalena Ortiz
2017	J	`jnl`	Managing Change in Graph-Structured Data Using Description Logics. ACM Trans. Comput. Log. Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2017	C	`conf`	Querying with Vague Quantifiers Using Probabilistic Semantics. FQAS Christian G. Fermüller, Matthias F. J. Hofer, Magdalena Ortiz
2017	J	`jnl`	Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR 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
2016	—	`conf`	A Compilation Technique for Interactive Ontology-mediated Data Exploration. Description Logics Medina Andresel, Magdalena Ortiz, Mantas Simkus
2016	—	`conf`	Closed Predicates in Description Logics: Results on Combined Complexity. AMW Nhung Ngo, Magdalena Ortiz, Mantas Simkus
2016	A*	`conf`	Closed Predicates in Description Logics: Results on Combined Complexity. KR Nhung Ngo, Magdalena Ortiz, Mantas Simkus
2016	A*	`conf`	Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. IJCAI Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2016	—	`conf`	Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. AMW Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2016	—	`conf`	Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. Description Logics Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2016	J	`jnl`	Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 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
2016	A	`conf`	Verification of Evolving Graph-structured Data under Expressive Path Constraints. ICDT Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2016	—	`ed.`	Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings RR Magdalena Ortiz, Stefan Schlobach
2015	—	`conf`	Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. AMW Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2015	—	`conf`	Ontology-Mediated Query Answering with Data-Tractable Description Logics. Reasoning Web Meghyn Bienvenu, Magdalena Ortiz
2015	J	`jnl`	Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. J. Artif. Intell. Res. Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2015	—	`conf`	The Combined Complexity of Reasoning with Closed Predicates in Description Logics. Description Logics Nhung Ngo, Magdalena Ortiz, Mantas Simkus
2014	J	`jnl`	Answering regular path queries in expressive Description Logics via alternating tree-automata. Inf. Comput. Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2014	—	`ed.`	Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Description Logics Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus
2014	A*	`conf`	Managing Change in Graph-Structured Data Using Description Logics. AAAI Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	J	`jnl`	Managing Change in Graph-structured Data Using Description Logics (long version with appendix). CoRR Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	—	`conf`	Nested Regular Path Queries in Description Logics (Extended Abstract). AMW Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	A*	`conf`	Nested Regular Path Queries in Description Logics. KR Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	J	`jnl`	Nested Regular Path Queries in Description Logics. CoRR Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	—	`conf`	Planning Problems for Graph Structured Data in Description Logics. Description Logics Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	—	`conf`	Planning and Change in Graph Structured Data under Description Logics Constraints. AMW Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	J	`jnl`	Reasoning about Explanations for Negative Query Answers in DL-Lite. CoRR Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2014	—	`conf`	Revisiting the Hardness of Query Answering in Expressive Description Logics. RR Magdalena Ortiz, Mantas Simkus
2013	A*	`conf`	Conjunctive Regular Path Queries in Lightweight Description Logics. IJCAI Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2013	—	`conf`	Evolving Graph Databases under Description Logic Constraints. Description Logics Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2013	—	`conf`	Ontology Based Query Answering: The Story So Far. AMW Magdalena Ortiz
2013	J	`jnl`	Reasoning about Explanations for Negative Query Answers in DL-Lite. J. Artif. Intell. Res. Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2013	—	`conf`	Tractability Guarantees for DL-Lite Query Answering. Description Logics Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
2013	A*	`conf`	Tractable Queries for Lightweight Description Logics. IJCAI Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
2012	—	`conf`	Answering Expressive Path Queries over Lightweight DL Knowledge Bases. Description Logics Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2012	J	`jnl`	Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. Thomas Eiter, Magdalena Ortiz, Mantas Simkus
2012	A*	`conf`	Query Rewriting for Horn-SHIQ Plus Rules. AAAI Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
2012	—	`conf`	Reasoning and Query Answering in Description Logics. Reasoning Web Magdalena Ortiz, Mantas Simkus
2012	A*	`conf`	The Complexity of Explaining Negative Query Answers in DL-Lite. KR Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2012	—	`conf`	Towards Practical Query Answering for Horn-SHIQ. Description Logics Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
2011	A*	`conf`	A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. IJCAI Diego Calvanese, Domenico Carbotta, Magdalena Ortiz
2011	A*	`conf`	Containment of Regular Path Queries under Description Logic Constraints. IJCAI Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2011	A*	`conf`	Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. IJCAI Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
2011	—	`conf`	The Complexity of Conjunctive Query Abduction in DL-Lite. Description Logics Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2010	—	`conf`	Query Answering in the Description Logic S. Description Logics Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2010	A*	`conf`	Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. KR Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
2009	A*	`conf`	Query Answering in Description Logics with Transitive Roles. IJCAI Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2009	C	`conf`	Query Answering in Description Logics: The Knots Approach. WoLLIC Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2009	A*	`conf`	Regular Path Queries in Expressive Description Logics with Nominals. IJCAI Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2008	—	`conf`	An Automata-based algorithm for description logics around SRIQ. LA-NMR Magdalena Ortiz
2008	—	`conf`	Conjunctive Query Answering in SH using Knots. Description Logics Magdalena Ortiz, Mantas Simkus, Thomas Eiter
2008	J	`jnl`	Data Complexity of Query Answering in Expressive Description Logics via Tableaux. J. Autom. Reason. Magdalena Ortiz, Diego Calvanese, Thomas Eiter
2008	B	`conf`	Extending Carinto the Description Logics of the Family. JELIA Magdalena Ortiz
2008	B	`conf`	Query Answering in the Description Logic Horn-. JELIA Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus
2008	B	`conf`	Reasoning Using Knots. LPAR Thomas Eiter, Magdalena Ortiz, Mantas Simkus
2008	A*	`conf`	Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. AAAI Magdalena Ortiz, Mantas Simkus, Thomas Eiter
2007	A*	`conf`	Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2007	J	`jnl`	Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. Magdalena Ortiz, Mauricio Osorio
2006	A*	`conf`	Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI Magdalena Ortiz, Diego Calvanese, Thomas Eiter
2006	—	`conf`	Data Complexity of Answering Unions of Conjunctive Queries in Description Logics Magdalena Ortiz, Diego Calvanese, Thomas Eiter
2005	—	`conf`	Agent Modelling for CSCL Environments using Answer Sets Programming. ENC Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
2005	—	`conf`	Application of ASP for Agent Modelling in CSCL Environments. MICAI Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
2005	J	`jnl`	Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi
2005	—	`conf`	Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming Magdalena Ortiz, Mauricio Osorio
2004	—	`conf`	ASP: from Application Development to Syntax Extensions. LA-NMR Magdalena Ortiz
2003	—	`conf`	Formalizing the Learner Model for CSCL Environments. ENC Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio