@第{zbMATH06807699条，作者={Pe{\~n}aloza，Rafael和Sertkaya，Bar{\i}{\c{s}}，Title={理解轻量级描述逻辑中公理精确定位的复杂性}，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积＝{250}，页码={80--104}，年份={2017年}，语言={英语}，DOI={10.1016/j.artint.2017.06.002}，关键词={68T27,68Q25,68T30}，zbMATH={6807699}，Zbl={1419.68128}}