Hannes Straß

Hannes Straß is a Research Associate in the Computational Logic Group at Technische Universität Dresden's Faculty of Computer Science. He holds a Dr. rer. nat. (2012) and habilitation (2017) from Leipzig University, with research focusing on logic-based knowledge representation and non-monotonic reasoning.

His work develops formal frameworks for abstract argumentation, standpoint-enhanced description logics, and tractable multiperspective reasoning systems for ontology management. Recent advances include automated reasoning support for Standpoint-OWL 2 and computational methods for managing ontological diversity.

Publications demonstrate innovations in characterization logics, standpoint modalities, and decomposition methods for abstract dialectical frameworks, contributing to scalable knowledge representation.

He teaches courses including Theoretische Informatik und Logik and Foundations of Knowledge Representation, while leading research in the KIMEDS and M/EDGE projects on AI-assisted medical software certification.