Counter Model Transformation for Explaining Non-Subsumption in EL

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021
EditorsChristoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
PublisherCEUR-WS.org
Pages9-22
Number of pages14
Volume2961
Publication statusPublished - 2021
Peer-reviewedYes

Publication series

SeriesCEUR Workshop Proceedings