Anouk Michelle Oudshoorn

---

• anouk.oudshoorn "at" tuwien.ac.at
• here
• LinkedIn
• VCLA
• DBLP
• Netidee
• university webpage
• room HE0336 at the Institute of Logic and Computation

Currently, I am a PhD candidate in the Knowledge-Based Systems group at the Technical University of Vienna, under the supervision of Magdalena Ortiz. 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 ansering 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 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), 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

2023

• Anouk M. Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus. 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 Simkus. Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ECAI 2023, October 2023. [pdf]
• Shqiponja Ahmetaj, Magdalena Ortiz, Anouk M. Oudshoorn, Mantas Simkus. 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]

Other Activities

• 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]