Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022 |
| Redakteure/-innen | Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier |
| Herausgeber (Verlag) | CEUR-WS.org |
| Seitenumfang | 6 |
| Band | 3263 |
| Publikationsstatus | Veröffentlicht - 2022 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | CEUR Workshop Proceedings |
|---|---|
| Band | 3263 |
| ISSN | 1613-0073 |