Author:Dirk Walther

Publications
Computing Minimal Subsumption Modules of Ontologies Jieying Chen, Michel Ludwig and Dirk Walther In:GCAI-2018. 4th Global Conference on Artificial Intelligence
Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach Michel Ludwig and Dirk Walther In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Foundations for the Logical Difference of EL-TBoxes Shasha Feng, Michel Ludwig and Dirk Walther In:GCAI 2015. Global Conference on Artificial Intelligence

Keyphrases

Description Logic, Description Logic EL, Description Logics, fixpoint reasoning, Gentzen-style proof calculus, knowledge representation, logical difference, logical difference between ontologies, Ontology modularity, simulations between hypergraphs, Uniform Interpolation.