Name Card

Full name Familienname, Vorname
Ortiz de la Fuente, Maria Magdalena
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 118 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bonatti-2023-Circumscription in DL-Lite Progress Report-vor.pdf.jpgBonatti, Piero ; Di Stefano, Federica ; Ortiz, Magdalena ; Šimkus, Mantas Circumscription in DL-Lite: Progress ReportInproceedings Konferenzbeitrag 23-Oct-2023
2Ahmetaj-2023-Reconciling SHACL and Ontologies Semantics and Validation vi...-vor.pdf.jpgAhmetaj, Shqiponja ; Ortiz de la Fuente, Maria Magdalena ; Oudshoorn, Anouk Michelle ; Simkus, Mantas Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)Inproceedings Konferenzbeitrag 23-Oct-2023
3Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Oudshoorn, Anouk ; Šimkus, Mantas Reconciling SHACL and Ontologies: Semantics and Validation via RewritingInproceedings Konferenzbeitrag 28-Sep-2023
4Lukumbuzya-2023-On the Expressive Power of Ontology-Mediated Queries Capt...-vor.pdf.jpgLukumbuzya, Sanja ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas On the Expressive Power of Ontology-Mediated Queries: Capturing coNPInproceedings Konferenzbeitrag 2023
5Di Stefano-2023-Description Logics with Pointwise Circumscription-vor.pdf.jpgDi Stefano, Federica ; Ortiz, Magdalena ; Šimkus, Mantas Description Logics with Pointwise CircumscriptionInproceedings Konferenzbeitrag 2023
6Ahmetaj, Shqiponja ; Löhnert, Bianca ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas Magic Shapes for SHACL ValidationArticle Artikel 26-Sep-2022
7Cauli, Claudia ; Ortiz, Magdalena ; Piterman, Nir Actions over Core-Closed Knowledge BasesInproceedings Konferenzbeitrag 2022
8Ortiz de la Fuente, M.Magdalena Ontologies for On-Demand Designof Data-Centric SystemsKonferenzbeitrag Inproceedings 2021
9Ahmetaj, Shqiponja ; Loehnert, Bianca ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Magic Shapes for Validation in SHACLKonferenzbeitrag Inproceedings2021
10Ahmetaj, Shqiponja ; David, Robert ; Ortiz, Magdalena ; Polleres, Axel ; Shehu, Bojken ; Šimkus, Mantas Reasoning about Explanations for Non-validation in SHACLKonferenzbeitrag Inproceedings 2021
11Cauli, Claudia ; Ortiz, Magdalena ; Piterman, Nir Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure SecurityKonferenzbeitrag Inproceedings 2021
12Ahmetaj, Shqiponja ; David, Robert ; Ortiz de la Fuente, M.Magdalena ; Polleres, Axel ; Shehu, Bojken ; Simkus, Mantas Reasoning about Explanations for Non-validation in SHACL (Extended abstract)Konferenzbeitrag Inproceedings 2021
13Cauli, Claudia ; Ortiz de la Fuente, M.Magdalena ; Piterman, Nir Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract)Konferenzbeitrag Inproceedings 2021
14Andresel, Medina ; Corman, Julien ; Ortiz, Magdalena ; Reutter, Juan L. ; Savkovic, Ognjen ; Simkus, Mantas Stable Model Semantics for Recursive SHACLKonferenzbeitrag Inproceedings 2020
15Andresel, Medina ; Ortiz, Magdalena ; Simkus, Mantas Query Rewriting for Ontology-Mediated Conditional AnswersKonferenzbeitrag Inproceedings 2020
16Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO$$^2$$ with Two OrdersKonferenzbeitrag Inproceedings 2020
17Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Ontology Focusing: Knowledge-Enriched Databases on DemandKonferenzbeitrag Inproceedings 2020
18Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Šimkus, Mantas Polynomial rewritings from expressive Description Logics with closed predicates to variants of DatalogArtikel Article 2020
19Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena An ExpTime Upper Bound for ALC with Integers (Extended Version)Bericht Report2020
20Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Lukumbuzya, Sanja Resilient Logic Programs: Answer Set Programs Challenged by OntologiesKonferenzbeitrag Inproceedings 2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-16 of 16 (Search time: 0.008 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Jaeger Dominic - 2023 - SHACL validation of evolving RDF graphs.pdf.jpgJäger, Dominic SHACL validation of evolving RDF graphsThesis Hochschulschrift 2023
2Dragovic Nikola - 2022 - Querying property graphs with ontologies.pdf.jpgDragovic, Nikola Querying property graphs with ontologiesThesis Hochschulschrift 2022
3Loehnert Bianca - 2022 - Magic Shapes Algorithm for SHACL Validation.pdf.jpgLöhnert, Bianca Magic Shapes Algorithm for SHACL ValidationThesis Hochschulschrift 2022
4Llugiqi Majlinda - 2022 - Improving learned decision trees with domain...pdf.jpgLlugiqi, Majlinda Improving learned decision trees with domain ontologiesThesis Hochschulschrift 2022
5Labai Nadia - 2021 - Automata-based reasoning for decidable logics with data...pdf.jpgLabai, Nadia Automata-based reasoning for decidable logics with data valuesThesis Hochschulschrift 2021
6Bajraktari Labinot - 2019 - Querying rich ontologies by exploiting the structure...pdf.jpgBajraktari, Labinot Querying rich ontologies by exploiting the structure of dataThesis Hochschulschrift 2019
7Ortiz de la Fuente, M.Magdalena ; Schneider, Thomas 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 27-29, 2018.Konferenzband Proceedings 2018
8Boehm Katinka - 2018 - Semi-automatic engineering of topic ontologies from a...pdf.jpgBöhm, Katinka Semi-automatic engineering of topic ontologies from a common-sense knowledge graphThesis Hochschulschrift 2018
9Ortiz de la Fuente, M.Magdalena ; Schlobach, Stefan Web Reasoning and Rule SystemsKonferenzband Proceedings 2016
10Gottlob, Georg ; Pieris, Andreas ; Šimkus, Mantas The Impact of Active Domain Predicates on Guarded Existential RulesKonferenzbeitrag Inproceedings 2016
11Andresel Medina - 2016 - A compilation technique for interactive...pdf.jpgAndreşel, Medina A compilation technique for interactive ontology-mediated data explorationThesis Hochschulschrift 2016
12Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
13Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano Contextualized Knowledge Repositories with Justifiable ExceptionsKonferenzbeitrag Inproceedings 2014
14Ahmetaj, Shqiponja ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Planning Problems for Graph Structured Data in Description LogicsKonferenzbeitrag Inproceedings 2014
15Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Informal Proceedings of the 27th International Workshop on Description LogicsKonferenzband Proceedings 2014
16Ahmeti, Albin ; Calvanese, Diego ; Polleres, Axel SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS EntailmentKonferenzbeitrag Inproceedings 2014