Anouk Michelle Oudshoorn

Currently, I am doing my PhD Knowledge-Based Systems group at the TU Wien, under the supervision of Magdalena Ortiz and Mantas Šimkus. Our research mainly focusses on constructing mathematical foundations for the SHACL standard, as presented by the World Wide Web Consortium (W3C). In particular, we are working on adding implicit knowledge in the form of ontologies to SHACL validation, satisfiability and implication. For this, we work with description logics, and look at knowledge representation techniques like query answering and more. This project is part of the LogiCS-COFUND doctoral programme. Furthermore, I am interested in, among others, automata theory, proof theory, fixed point logics and the history of philosophy.

Short CV

Since October 2022, PhD candidate in Computer Science at the Institute of Logic and Computation, at the TU Wien. Part of this are my research visits to:
- Pontificia Universidad Catolica de Chile, September and October 2025;
- TU Dresden, from May to July 2024;
- Umeå University, one month in total spread over 3 visits between January and July 2023.
2020-2022: Master of Logic (MSc) at the Institute of Logic, Language and Computation (ILLC), at the University of Amsterdam.
2017-2020: Bachelor of Mathematics (BSc) and Bachelor of Philosophy (BA), at the Radboud University, Nijmegen.

Awards

Netidee Stipend (10.000 EUR), Combining SHACL and Ontologies, November 2023. [project]
2nd Prize Best Poster Award, Combining SHACL and Ontologies, ISWS 2023, Bertinoro, Italy.

Teaching

Teaching Assistant Logic and Reasoning in Computer Science (Bachelor Informatics, Summer semester 2024), Technical University of Vienna.
Teaching Assistant Introduction to Knowledge-Based Systems (Bachelor Informatics, Winter semester 2023), Technical University of Vienna.
Teaching Assistant Description Logics and Ontologies (Master Logic and Computation, Winter semester 2023), Technical University of Vienna.
Teaching Assistant Knowledge-Based Systems (Master Logic and Computation, Summer semester 2023-2025), Technical University of Vienna.
Assistent Teacher Mathematics (March 2021-July 2022), Gerrit van der Veen College, Amsterdam.
Teaching Assistant Logic (Bachelor Mathematics, Summer semester 2020), Radboud University, Nijmegen.

Publications

Click to find my publications on: DBLP | Google Scholar.

Preprint

Anouk M. Oudshoorn, Magdalena Ortiz and Mantas Šimkus. Static Analysis of Recursive SHACL. KR 2026, July 2026. [pdf]
Anouk M. Oudshoorn. SHACL Validation and Static Analysis in Presence of Ontologies: an Overview. LINDA 2026, July 2026.

2026

Anouk M. Oudshoorn, Magdalena Ortiz and Mantas Šimkus. SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques. AIJ, January 2026. [pdf]

2025

Anouk M. Oudshoorn. SHACL Satisfiability: What Can We Learn from DLs? DL 2025, September 2025. [pdf]

2024

Anouk M. Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz and Mantas Šimkus. Combining SHACL and Description Logics (Conference Presentation). Logic Colloquium 2024, June 2024. [abstract]
Anouk M. Oudshoorn, Magdalena Ortiz and Mantas Šimkus. Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. DL 2024, June 2024. [pdf]

2023

Anouk M. Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Šimkus. Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Poster). ISWC 2023, November 2023. [poster]
Johanna Rockstroh, Giada D’Ippolito, Nicolas Lazzari, Anouk M. Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph. A is the B of C: (Semi)-Automatic Creation of Vossian Antonomasias. Wikidata Workshop 2023, November 2023. [pdf]
Shqiponja Ahmetaj, Magdalena Ortiz, Anouk M. Oudshoorn, Mantas Šimkus. Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ECAI 2023, October 2023. [pdf]
Shqiponja Ahmetaj, Magdalena Ortiz, Anouk M. Oudshoorn, Mantas Šimkus. Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). DL 2023, September 2023. [pdf]

2022

Anouk M. Oudshoorn. Cost Fixed Point Logic. Master's Thesis, University of Amsterdam, ILLC, August 2022. [pdf]

Sustainability

Travelling to conferences, workshops and other research institutions is very important to foster international collaborations. However, we only have one world, one that we should take care of. Therefore, to make a statement about the absurdity of the current state of the world and because I like to travel by train, I use public transport (and avoid planes) for my travels whenever I can. Some examples of long international train journeys are:

July 2026: Vienna (Austria) - Montpellier (France) - Madrid (Spain) - Lisbon (Portugal) - Barcelona (Spain) - Vienna (Austria).
June 2024: Dresden (Germany) - Bergen (Norway) - Göteborg (Sweden) - Dresden (Germany).
July 2023: Stockholm (Sweden) - Umeå (Sweden) - Nijmegen (the Netherlands) - Vienna (Austria).
March/April 2023: Vienna (Austria) - Umeå (Sweden) - Göteborg (Sweden) - Nijmegen (The Netherlands) - Vienna (Austria).
January 2023: Vienna (Austria) - Umeå (Sweden) - Nijmegen (the Netherlands) - Vienna (Austria).

By booking the trips early, buying some 25% or 50% discount passes in countries on the route or buying an interrail pass, costs do not have to be so high.

Other Activities

DL seminar: Well-founded SHACL and the Modal Mu-Calculus. [slides]
Blogpost: Deciding SHACL satisfiability: an undecidability result. [blog]
Blogpost: SHACL and OWL, part 4: encoding axioms in constraints. [blog]
Blogpost: A short introduction to models: OWL knowledge bases. [blog]
Academic service: editorial board member Journal of Web Semantics, PC Member DL 2026, KGSWC 2025, RAGE-KG 2024 and 2025, subreviewer LICS25.
Blogpost: SHACL and OWL, part 3: materialising facts. [blog]
Blogpost: SHACL and OWL, part 2: the combination. [blog]
Blogpost: SHACL and OWL: standards of W3C. [blog]
(Semi)-Automatic creation of Vossian Antonomasias. [website]
Creation of logic puzzles for the Vienna Ball of Sciences. [2023,2024]