"False"
Hoppa direkt till innehållet
umu.se
För studenter
Bibliotek
För medarbetare
Logga in
Student
Alla studenter måste byta lösenord efter 7 maj.
Redigera
Redigera innehåll på umu.se
English site
Sök
Meny
X stäng menyn
Meny
Sök
Sök inom:
Sök inom:
Allt
Utbildning
Forskning
Personal
Studentwebb
Nyheter
Andra söktjänster
Hitta kurser och program
Sök kursplan
Sök välkomstbrev
Bibliotekets söktjänst
Sök i regelverket
Huvudmenyn dold.
Logga in
Student
Alla studenter måste byta lösenord efter 7 maj.
Redigera
Redigera innehåll på umu.se
English
Magdalena Ortiz
Kontakt
E-post
magdalena.ortiz@umu.se
Telefon
Verksam vid
Anknytning
Anknuten som övrig/annan befattning till
Institutionen för datavetenskap
Plats
MIT-huset, Umeå universitet
Umeå universitet, 901 87 Umeå
Publikationer
Publikationer
2024
Datalog rewritability and data complexity of ALCHOIQ with closed predicates
Artificial Intelligence
, Elsevier 2024, Vol. 330
Lukumbuzya, Sanja; Ortiz, Magdalena; Šimkus, Mantas
2023
Reconciling SHACL and ontologies: semantics and validation via rewriting
Proceedings of the 36th international workshop on Description Logics (DL 2023)
Ahmetaj, Shqiponja; Ortiz, Magdalena; Oudshoorn, Anouk M.; et al.
2023
Reconciling SHACL and ontologies: semantics and validation via rewriting
ECAI 2023
, IOS Press 2023 : 27-35
Ahmetaj, Shqiponja; Ortiz, Magdalena; Oudshoorn, Anouk; et al.
2023
Circumscription in DL-Lite: progress report
Proceedings of the 36th international workshop on Description Logics (DL 2023)
Bonatti, Piero; Di Stefano, Federica; Ortiz, Magdalena; et al.
2023
On the way to temporal OBDA systems
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023)
Calvanese, Diego; Okulmus, Cem; Ortiz, Magdalena; et al.
2023
Description logics with pointwise circumscription
Proceedings of the thirty-second international joint conference on artificial intelligence
, International Joint Conferences on Artificial Intelligence 2023 : 3167-3175
Di Stefano, Federica; Ortiz, Magdalena; Šimkus, Mantas
2023
Rewriting ontology-mediated navigational queries into cypher
Proceedings of the 36th international workshop on Description Logics (DL 2023)
Dragovic, Nikola; Okulmus, Cem; Ortiz, Magdalena
2023
On the expressive power of ontology-mediated queries: capturing coNP
Proceedings of the 36th international workshop on Description Logics (DL 2023)
Lukumbuzya, Sanja; Ortiz, Magdalena; Šimkus, Mantas
2023
A short introduction to SHACL for logicians
Logic, language, information, and computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings
, Springer Nature 2023 : 19-32
Ortiz, Magdalena
2023
Preface
Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
, Cham: Springer Nature 2023 : V-VI
Ortiz, Magdalena; Gaggl, Sarah; Martinez, Maria Vanina
Visa publikationer i DiVA
+ Visa mer
- Visa mindre