Concepedia
Statistics
Publications
33
Citations
1.2K
H-Index
20
Active since
2006
Affiliations
TU Wien(Current)
Free University of Bozen-Bolzano
University of Chile
University of Vienna
Karlsruhe Institute of Technology
Magdalena Ortiz is an author at TU Wien specializing in automated reasoning, engineering, and formal methods.
Top concepts
EngineeringAutomated ReasoningSemantic WebFormal MethodsComputer ScienceSemanticsKnowledge CompilationLogic ProgrammingFormal VerificationDescription Logics
Publications per year
2006–2021
Query Rewriting for Horn-SHIQ Plus Rules
Thomas Eiter, Magdalena Ortiz, Mantas Šimkus et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 148 citations · Full text
Engineering, Ontology Engineering, Horn-shiq Plus Rules +18
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Magdalena Ortiz, Diego Calvanese, Thomas Eiter · Journal of Automated Reasoning · 2008 · 129 citations
Database Theory, Engineering, Query Answering +12
Regular path queries in expressive description logics with nominals
Diego Calvanese, Thomas Eiter, Magdalena Ortiz · View · 2009 · 86 citations
Sr Family, Engineering, Regular Path Queries +19
Query answering in the horn fragments of the description logics SHOIQ and SROIQ
Magdalena Ortiz, Sebastian Rudolph, Mantas Šimkus · International Joint Conference on Artificial Intelligence · 2011 · 83 citations
Engineering, Higher-order Logic, Semantics +21
Characterizing data complexity for conjunctive query answering in expressive description logics
Magdalena Ortiz, Diego Calvanese, Thomas Eiter · 2006 · 78 citations
1–5 of 33