Explaining Description Logic Entailments with Evee and Evonne
Aus International Center for Computational Logic
Explaining Description Logic Entailments with Evee and Evonne
Christian AlrabbaaChristian Alrabbaa, Stefan BorgwardtStefan Borgwardt, Tom FrieseTom Friese, Patrick KoopmannPatrick Koopmann, Julián MéndezJulián Méndez, Alexej PopovičAlexej Popovič
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič
Explaining Description Logic Entailments with Evee and Evonne
Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2022) workshop co-located with the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), 2022
Explaining Description Logic Entailments with Evee and Evonne
Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2022) workshop co-located with the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), 2022
- Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{ABFKMP2022,
author = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and
Patrick Koopmann and Juli{\'{a}}n M{\'{e}}ndez and Alexej
Popovi{\v{c}}},
title = {Explaining Description Logic Entailments with Evee and Evonne},
booktitle = {Informal Proceedings of the Explainable Logic-Based Knowledge
Representation (XLoKR 2022) workshop co-located with the 19th
International Conference on Principles of Knowledge
Representation and Reasoning (KR 2022)},
year = {2022}
}
