Counter Model Transformation for Explaining Non-Subsumption in EL
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021 |
| Editors | Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm |
| Publisher | CEUR-WS.org |
| Pages | 9-22 |
| Number of pages | 14 |
| Volume | 2961 |
| Publication status | Published - 2021 |
| Peer-reviewed | Yes |
Publication series
| Series | CEUR Workshop Proceedings |
|---|---|
| Volume | 2961 |
| ISSN | 1613-0073 |