Complexities for Nominal Schemas
From korrekt.org
Markus Krötzsch, Sebastian Rudolph
Complexities for Nominal Schemas: Extended Abstract
Abstract. In this extended abstract, we review our recent work “Nominal Schemas in Description Logics: Complexities Clarified” presented at KR 2014.
Published at DL 2014 (Workshop paper)
Download PDF (last update: July 3 2014)
Citation details
- Markus Krötzsch, Sebastian Rudolph. Complexities for Nominal Schemas: Extended Abstract. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, eds.: Proceedings of the 27th International Workshop on Description Logics (DL-14), pp. 270–273. CEUR Workshop ProceedingsProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2014.
/* Please cite our KR paper instead:
* Nominal Schemas in Description Logics: Complexities Clarified
*/
@inproceedings{KR14:nomschema-abstract,
author = {Markus Kr{\"o}tzsch and Sebastian Rudolph},
title = {Complexities for Nominal Schemas:
Extended Abstract},
pages = {270--273},
booktitle = {Proceedings of the 27th International Workshop
on Description Logics (DL'14)},
editors = {Meghyn Bienvenu and Magdalena Ortiz and
Riccardo Rosati and Mantas Simkus},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {1193},
year = {2014}
}
* Nominal Schemas in Description Logics: Complexities Clarified
*/
@inproceedings{KR14:nomschema-abstract,
author = {Markus Kr{\"o}tzsch and Sebastian Rudolph},
title = {Complexities for Nominal Schemas:
Extended Abstract},
pages = {270--273},
booktitle = {Proceedings of the 27th International Workshop
on Description Logics (DL'14)},
editors = {Meghyn Bienvenu and Magdalena Ortiz and
Riccardo Rosati and Mantas Simkus},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {1193},
year = {2014}
}
Remarks
The slides of the talk as given at DL 2014 are available online. The full paper is Nominal Schemas in Description Logics: Complexities Clarified.
