2025S

• Logic and Reasoning in Computer Science / 192.033 / VU

• Combining SHACL and description logics / Oudshoorn, A. M., Ahmetaj, S., Ortiz, M., & Simkus, M. (2024, June 25). Combining SHACL and description logics [Conference Presentation]. Logic Colloquium 2024, Göteburg, Sweden.
• Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases / Oudshoorn, A. M., Ortiz, M., & Simkus, M. (2024). Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. In Proceedings of the 37th International Workshop on Description Logics (DL 2024). 37th International Workshop on Description Logics (DL 2024), Bergen, Norway.
  Project: KtoAPP (2018–2025)
• Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract) / Ahmetaj, S., Ortiz de la Fuente, M. M., Oudshoorn, A. M., & Simkus, M. (2023). Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). In Proceedings of the 36th International Workshop on Description Logics (DL 2023), co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). 36th International Workshop on Description Logics (DL 2023), Rhodos, Greece. CEUR-WS.org. https://doi.org/10.34726/5397
  Download: PDF (988 KB)
  Projects: FRESH (2021–2025) / KtoAPP (2018–2025)
• Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting / Ahmetaj, S., Ortiz, M., Oudshoorn, A., & Šimkus, M. (2023). Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, & R. Rădulescu (Eds.), ECAI 2023 : 26th European Conference on Artificial Intelligence, September 30–October 4, 2023, Kraków, Poland. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings (pp. 27–35). IOS Press. https://doi.org/10.3233/FAIA230250
  Download: PDF (342 KB)
  Projects: FRESH (2021–2025) / KtoAPP (2018–2025) / OMEGA (2017–2022)
• A is the B of C: (Semi)-Automatic Creation of Vossian Antonomasias / Rockstroh, J., D’Ippolito, G., Lazzari, N., Oudshoorn, A. M., Purohit, D., Raoufi, E., & Rudolph, S. (2023). A is the B of C: (Semi)-Automatic Creation of Vossian Antonomasias. In Proceedings of the Wikidata Workshop 2023 (Wikidata 2023), Athens, Greece, November 13, 2023. The 4th Wikidata Workshop 2023 co-located with 22nd International Semantic Web Conference (ISWC 2023), Athens, Greece. CEUR-WS.org.