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

OriginalspracheEnglisch
TitelProceedings 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/-innenOfer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier
Herausgeber (Verlag)CEUR-WS.org
Seitenumfang6
Band3263
PublikationsstatusVeröffentlicht - 2022
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR Workshop Proceedings
Band3263
ISSN1613-0073

Externe IDs

ORCID /0000-0002-4049-221X/work/174429073

Schlagworte