@第{zbMATH06551551条，作者={Botoeva、Elena和Kontchakov、Roman和Ryzhikov、Vladislav和Wolter、Frank和Zakharyaschev、Michael}，Title={描述逻辑知识库的查询不可分割性游戏}，FJournal＝{人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={234}，页码={78--119}，年份={2016年}，语言={英语}，DOI={10.1016/j.artint.2016.01.010}，关键词={68T27,68Q17,68Q25,68T30,91A43,91A80}，URL={eprints.bbk.ac.uk/id/eprint/14142/1/aij-final.pdf}，zbMATH={6551551}，Zbl={1351.68263}}