HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Michel Ludwig

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.

Copyright © 2012-2025 easychair.org. All rights reserved.