arrow
Back
M

Magdalena Ortiz

Technische Universitat Wien

21H-index
120Paper Count
1.7KCitation Count
Published Papers 5
Publication Date
errShare
errSave
Towards Practicable Defeasible Reasoning for ABoxes
err2026-01-01
err0
PREAI
errHaldimann, Jonas; Ortiz, Magdalena; Simkus, Mantas
errShare
errSave
SHACL Validation Under Graph Updates
err2026-01-01
err0
PREAI
errAhmetaj, Shqiponja; Konstantinidis, George; Ortiz, Magdalena; Pareti, Paolo; Simkus, Mantas
errShare
errSave
Datalog rewritability and data complexity of ALCHOIQ with closed predicates
err2024-05-01
err0
errOAAI
errLukumbuzya, Sanja; Ortiz, Magdalena; Simkus, Mantas
errShare
errSave