Magdalena Ortiz
Technische Universität Wien
H-index: 25
Europe-Austria
Top articles of Magdalena Ortiz
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Datalog Rewritability and Data Complexity of ALCHOIQ with Closed Predicates | Artificial Intelligence | Sanja Lukumbuzya Magdalena Ortiz Mantas Šimkus | 2024/2/23 |
Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings | Sarah Gaggl Maria Vanina Martinez Magdalena Ortiz | 2023/9/23 | |
Rewriting ontology-mediated navigational queries into cypher | Nikola Dragovic Cem Okulmus Magdalena Ortiz | 2023 | |
Description logics with pointwise circumscription | Federica Di Stefano Magdalena Ortiz Mantas Šimkus | 2023 | |
Circumscription in DL-Lite: progress report | Piero Bonatti Federica Di Stefano Magdalena Ortiz Mantas Šimkus | 2023 | |
A Short Introduction to SHACL for Logicians | Magdalena Ortiz | 2023/7/11 | |
Reconciling SHACL and ontologies: semantics and validation via rewriting | Shqiponja Ahmetaj Magdalena Ortiz Anouk Oudshoorn Mantas Šimkus | 2023 | |
Towards intended models: accounting for minimized and fixed predicates in | Magdalena Ortiz | 2023/7/4 | |
On the way to temporal OBDA systems | Diego Calvanese Cem Okulmus Magdalena Ortiz Mantas Šimkus | 2023 | |
On the expressive power of ontology-mediated queries: capturing coNP | Sanja Lukumbuzya Magdalena Ortiz Mantas Šimkus | 2023 | |
Pointwise circumscription in description logics | Federica Di Stefano Magdalena Ortiz Mantas Šimkus | 2022 | |
Magic shapes for SHACL validation | Shqiponja Ahmetaj Bianca Löhnert Magdalena Ortiz Mantas Šimkus | 2022 | |
Actions over Core-Closed Knowledge Bases | Claudia Cauli Magdalena Ortiz Nir Piterman | 2022/8/1 | |
Explanations for Non-validation in SHACL. | Shqiponja Ahmetaj Robert David Magdalena Ortiz Axel Polleres Bojken Shehu | 2021 | |
Magic Shapes for Validation in SHACL. | Shqiponja Ahmetaj Bianca Löhnert Magdalena Ortiz Mantas Simkus | 2021 | |
Reasoning about explanations for non-validation in SHACL | Shqiponja Ahmetaj Robert David Magdalena Ortiz Axel Polleres Bojken Shehu | 2021/9/30 | |
Closed-and open-world reasoning in dl-lite for cloud infrastructure security | Claudia Cauli Magdalena Ortiz Nir Piterman | 2021/9/30 | |
Ontologies for On-Demand Designof Data-Centric Systems | M Magdalena Ortiz de la Fuente | 2021 | |
A framework for exploratory query answering with ontologies | Yazmin Ibanez Garcia Magdalena Ortiz Medina Andresel | 2020 | |
Resilient logic programs: answer set programs challenged by ontologies | Proceedings of the AAAI Conference on Artificial Intelligence | Sanja Lukumbuzya Magdalena Ortiz Mantas Šimkus | 2020/4/3 |