Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
M
Magdalena Ortiz
Technische Universitat Wien
21
H-index
120
Paper Count
1.7K
Citation Count
0
Related Insights
Subscribe
Published Papers
5
Publication Date
Publication Date
Impact Factor
Citations
SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
Artificial Intelligence
IF
4.6
2026-01-13
0
OA
AI
Anouk Oudshoorn; Magdalena Ortiz; Mantas Šimkus
Share
Save
Towards Practicable Defeasible Reasoning for ABoxes
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF
0
2026-01-01
0
PRE
AI
Haldimann, Jonas; Ortiz, Magdalena; Simkus, Mantas
Share
Save
SHACL Validation Under Graph Updates
SEMANTIC WEB-ISWC 2025, PT I
IF
0
2026-01-01
0
PRE
AI
Ahmetaj, Shqiponja; Konstantinidis, George; Ortiz, Magdalena; Pareti, Paolo; Simkus, Mantas
Share
Save
Datalog rewritability and data complexity of ALCHOIQ with closed predicates
artificial intelligence review
IF
4.6
2024-05-01
0
OA
AI
Lukumbuzya, Sanja; Ortiz, Magdalena; Simkus, Mantas
Share
Save
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog
artificial intelligence review
IF
4.6
2020-03-01
5
OA
AI
Ahmetaj, Shqiponja; Ortiz, Magdalena; Simkus, Mantas
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
M
Mantas Šimkus
H-index: 20 · Papers: 115
G
George Konstantinidis
H-index: 18 · Papers: 99
J
Jonas Haldimann
H-index: 7 · Papers: 46
S
Shqiponja Ahmetaj
H-index: 7 · Papers: 37
P
Paolo Pareti
H-index: 5 · Papers: 31
View more