Dörthe Arndt
From International Center for Computational Logic
Dr. Dörthe Arndt
Research Associate Computational Logic
- doerthe.arndt@tu-dresden.de
- +49 351 463 43559
- APB 2019
I am a postdoctoral researcher in the Computational Logic. My research centers around the different logics and formalisms of the Semantic Web and their relationship to each other. Here, I focus especially on rule-based reasoning (especially Notation 3 Logic) .
Newest Publications
Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Straß
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes
Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025), to appear
Details Download
William Van Woensel, Dörthe Arndt, Jos De Roo
FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning
RuleML+RR Rule Challenge 2025, to appear
Details
Dörthe Arndt, William Van Woensel, Dominik Tomaszuk
SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
Technical Report, arXiv.org, August 2025
Details
Dörthe Arndt, William Van Woensel, Dominik Tomaszuk
SPARQL in N3: SPARQL construct as a rule language for the Semantic Web
In Aidan Hogan, Ken Satoh, Hasan Dağ, Anni-Yasmin Turhan, Dumitru Roman, and Ahmet Soylu, eds., RuleML+RR 2025, to appear. Springer
Details Download
Dörthe Arndt, Stephan Mennicke
Existential Notation3 Logic
Theory and Practice of Logic Programming, 1-36, June 2025
Details
Dörthe Arndt, Jos De Roo, Patrick Hochstenbach, Rebekka Martens, Femke Ongenae, Mathijs van Noort
RDF Surfaces as a First-Order Language for the Semantic Web
In Sabrina Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman, eds., Rules and Reasoning. RuleML+RR 2024, 200-216, September 2024. Springer
Details
Mathias De Brouwer, Pieter Bonte, Dörthe Arndt, Miel Vander Sande, Anastasia Dimou, Ruben Verborgh, Filip De Turck, Femke Ongenae
Optimized continuous homecare provisioning through distributed data-driven semantic services and cross-organizational workflows
Journal of Biomedical Semantics, 15(9), June 2024
Details
Dörthe Arndt, Stephan Mennicke
Existential Notation3 Logic
Technical Report, arXiv.org, April 2024. Under consideration in Theory and Practice of Logic Programming (TPLP)
Details
Dörthe Arndt, William Van Woensel, Dominik Tomaszuk
SiN3: Scalable inferencing with SPARQL CONSTRUCT queries
In Irini Fundulaki, Kouji Kozaki, Daniel Garijo, Jose Manuel Gomez-Perez, eds., ISWC-Posters-Demos-Industry 2023, volume 3632 of CEUR Workshop Proceedings, November 2023. ceur-ws.org
Details
Jan Vantienen, Tomáš Kliegr, Paul Fodor, Davide Lanti, Dörthe Arndt, Egor V. Kostylev, Theodoros Mitsikas, Ahmet Soylu
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023
Volume 3485 of CEUR Workshop Proceedings, September 2023. ceur-ws.org
Details
Courses
- Formale Systeme (WS 2024)
- First-Order Logic – Semantic and Computational Properties (SS 2024)
- Theoretische Informatik und Logik (SS 2024)
- Foundations of Semantic Web Technologies (WS 2023)
- Quotation in Formal Logics and the Web (SS 2023)
show further courses
