Cuenca Grau，贝尔纳多;伊恩·霍洛克斯;叶夫根尼·哈萨克夫;乌尔里克·萨特勒 从本体中提取模块：一种基于逻辑的方法。 （英语） Zbl 1242.68310号 Stuckenschmidt，Heiner（编辑）等人，《模块本体论》。知识模块化的概念、理论和技术。柏林：施普林格出版社（ISBN 978-3-642-01906-7/pbk）。计算机科学课堂讲稿5445159-186（2009）。MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Cuenca Grau}等人，Lect。注释计算。科学。5445159--186（2009年；Zbl 1242.68310） 全文： 内政部
德米特里·察尔科夫;伊恩·霍洛克斯;彼得·施奈德（Peter F.Patel-Schneider）。 优化表达描述逻辑的术语推理。 （英语） Zbl 1132.68742号 J.自动化。推理 39，第3号，277-316（2007）.MSC公司：68T27型 68立方英尺 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Tsarkov}等人，J.Autom。推理39，No.3，277--316（2007；Zbl 1132.68742） 全文： 内政部
伊恩·霍洛克斯;乌尔里克·萨特勒 具有复杂角色包含公理的SHIQ的可判定性。 （英语） 兹比尔1086.68129 Artif公司。因特尔。 160，编号1-2，79-104（2004）.MSC公司：68T27型 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{I.Horrocks}和\textit{U.Sattler}，Artif。智力。160，编号1-2，79-104（2004年；兹bl 1086.68129） 全文： 内政部