BibTeX记录conf/cade/MartinezFGHH14
@在过程中{DBLP:conf/cade/MartinezFGHH14， 作者=｛David Carral和 Cristina Feier和 Bernardo Cuenca Grau和 帕斯卡·希茨勒和 伊恩·霍洛克斯}， editor={St{\'{e}}phane Demri和 Deepak Kapur和 Christoph Weidenbach}， 标题={\emph {EL}化 本体论}， booktitle={自动推理-第七届国际联合会议，{IJCAR} 2014年，作为维也纳逻辑夏季的一部分举行，{VSL}2014，维也纳， 奥地利，2014年7月19日至22日。 诉讼}， series={计算机科学讲稿}， 体积={8562}， 页数={464--479}， publisher={Springer}， 年份={2014}， url={ https://doi.org/10.1007/978-3-319-08587-6 \_36}, doi={10.1007/978-3-319-08587-6\36}， timestamp={2022年4月12日星期二14:46:29+0200}， biburl={ https://dblp.org/rec/conf/cade/MartinezFGHH14.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
