Anouk Michelle Oudshoorn

Currently, I am a PhD candidate in the Knowledge-Based Systems group at the Technical University of Vienna, 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. For this, we work on description logics, knowledge representation, 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 at the Knowledge-Based Systems group, Institute of Logic and Computation at the Technical University of Vienna.
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 & 2025), 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 & 2024), 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

2024

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 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:

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

Blogpost: A short introduction to models: OWL knowledge bases. [blog]
Academic service: PC Member RAGE-KG 2024
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 a logic puzzle for the Vienna Ball of Sciences 2023 and 2024. [2023,2024]