The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
From International Center for Computational Logic
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
Bartosz BednarczykBartosz Bednarczyk, Sebastian RudolphSebastian Rudolph
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, eds., Proceedings of the 34th International Workshop on Description Logics (DL 2021), volume 2954 of CEUR Workshop Proceedings, September 2021. CEUR-WS.org
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, eds., Proceedings of the 34th International Workshop on Description Logics (DL 2021), volume 2954 of CEUR Workshop Proceedings, September 2021. CEUR-WS.org
- Projekt:Project: DeciGUT
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@inproceedings{BR2021,
author = {Bartosz Bednarczyk and Sebastian Rudolph},
title = {The Price of Selfishness: Conjunctive Query Entailment for
{ALCSelf} is 2ExpTime-hard (Extended Abstract)},
editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt},
booktitle = {Proceedings of the 34th International Workshop on Description
Logics (DL 2021)},
series = {CEUR Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
month = {September}
}