Magdalena Ortiz

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 16

Top Topics

Data Complexity

Description Logics

Top Venues

Description Logics

Proc. VLDB Endow.

Publications

Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz
Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite (Extended Abstract). Description Logics (2024)
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Datalog rewritability and data complexity of ALCHOIQ with closed predicates. Artif. Intell. 330 (2024)
Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz
Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite. CoRR (2024)
Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. Description Logics (2024)
Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ISWC (Posters/Demos/Industry) (2023)
Piero Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Circumscription in DL-Lite: Progress Report. Description Logics (2023)
Diego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus
On the Way to Temporal OBDA Systems (short paper). AMW (2023)
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. Description Logics (2023)
Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ECAI (2023)
Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Michelle Oudshoorn, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). Description Logics (2023)
Magdalena Ortiz
A Short Introduction to SHACL for Logicians. WoLLIC (2023)
Nikola Dragovic, Cem Okulmus, Magdalena Ortiz
Rewriting Ontology-Mediated Navigational Queries into Cypher. Description Logics (2023)
Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Description Logics with Pointwise Circumscription. IJCAI (2023)
Shqiponja Ahmetaj, Bianca Löhnert, Magdalena Ortiz, Mantas Simkus
Magic Shapes for SHACL Validation. Proc. VLDB Endow. 15 (10) (2022)
Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Pointwise Circumscription in Description Logics. Description Logics (2022)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Actions over Core-Closed Knowledge Bases. IJCAR (2022)