Magdalena Ortiz

Magdalena Ortiz is a Full Professor and Head of the Knowledge-Based Systems Research Unit at TU Wien, specializing in Knowledge Representation and Reasoning with a focus on Description Logics (DLs). Her work emphasizes integrating DLs with database systems, particularly in query languages and reasoning algorithms. She leads research in semantic technologies, ontology-mediated query answering, and formal methods for data validation (e.g., SHACL).

Research interests include expressive query languages, computational complexity of DL reasoning, and applications in graph databases and cloud security. She has extensive experience in EU-funded projects (e.g., FRESH, KtoAPP) and serves editorial roles in AI conferences/journals. Her teaching includes advanced courses on Description Logics, Logic, and Ontology Engineering.

Notable contributions include advancements in SHACL validation, Datalog rewritings for ontology-mediated queries, and reasoning with closed predicates. She advises multiple PhD students and collaborates internationally on topics like temporal equilibrium logic and OBDA systems.