Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter. Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). In Stefan Borgwardt, Thomas Meyer 0002, editors, Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020. Volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]
@inproceedings{ArtaleJMOW20,
title = {Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)},
author = {Alessandro Artale and Jean Christoph Jung and Andrea Mazzullo and Ana Ozaki and Frank Wolter},
year = {2020},
url = {http://ceur-ws.org/Vol-2663/abstract-1.pdf},
researchr = {https://researchr.org/publication/ArtaleJMOW20},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020},
editor = {Stefan Borgwardt and Thomas Meyer 0002},
volume = {2663},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}