Decidable Contextualized DLs with Rigid Roles
Aus International Center for Computational Logic
Decidable Contextualized DLs with Rigid Roles
Stephan BöhmeStephan Böhme, Marcel LippmannMarcel Lippmann
Stephan Böhme, Marcel Lippmann
Decidable Contextualized DLs with Rigid Roles
Proceedings of the 28th International Workshop on Description Logics (DL-2015), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Decidable Contextualized DLs with Rigid Roles
Proceedings of the 28th International Workshop on Description Logics (DL-2015), CEUR Workshop Proceedings, to appear. CEUR-WS.org
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BoLi-DL15,
address = {Athens, Greece},
author = {Stephan {B{\"o}hme} and Marcel {Lippmann}},
booktitle = {Proceedings of the 28th International Workshop on Description Logics ({DL-2015})},
note = {To appear.},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
title = {Decidable Contextualized DLs with Rigid Roles},
year = {2015},
}
