Dörthe Arndt

Dörthe Arndt is a postdoctoral Researcher at the International Center for Computational Logic (ICCL) within the Technische Universität Dresden. She works on logics and formalisms in the Semantic Web, with a focus on Notation 3 Logic and its application in rule-based systems.

Research Focus

• Formal logics for Semantic Web applications
• Existential rules and Notation 3 Logic
• Knowledge representation and reasoning
• Interoperability of logical systems

Recent Publications explore existential rule languages, formal semantics, and their integration into knowledge graphs. Key themes include bridging logical reasoning with web technologies and extending Notation 3 for advanced rule modeling.

Teaching Activities include courses on

• Formal Systems
• First-Order Logic
• Theoretical Computer Science and Logic
• Semantic Web Foundations
• Quotation in Formal Logics