Szymon Klarman, Ulle Endriss, Stefan Schlobach. ABox Abduction in the Description Logic ::::ALC::::. Journal of Automated Reasoning, 46(1):43-80, 2011. [doi]
@article{KlarmanES11,
title = {ABox Abduction in the Description Logic ::::ALC::::},
author = {Szymon Klarman and Ulle Endriss and Stefan Schlobach},
year = {2011},
doi = {10.1007/s10817-010-9168-z},
url = {http://dx.doi.org/10.1007/s10817-010-9168-z},
tags = {logic},
researchr = {https://researchr.org/publication/KlarmanES11},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {46},
number = {1},
pages = {43-80},
}