zbMATH参考文献（92篇文章引用）

1. 江云城：语义计算的形式化模型（2019）
2. Matentzoglu，Nicolas；Parsia，Bijan；Sattler，Uli:OWL推理：包容测试硬度和模块性（2018）
3. Schekotihin，Konstantin；Rodler，Patrick；Schmid，Wolfgang:Ontodebug:interactive ontology debugging-in for protégé（2018）
4. Zese，Riccardo；Bellodi，Elena；Riguzzi，Fabrizio；Cota，Giuseppe；Lamma，Evelina:描述逻辑的表推理及其对概率的扩展（2018）
5. 2017年1月，《格里姆托斯》杂志（Jan Reastilles，The Parsmates）的评估报告；拉斐尔•格洛尔（Rafan Zole）杂志，2017年；贝斯泰尔•格洛尔（Rafan Zoles）杂志；艾尔姆泰斯（Andreas）杂志，2015年版；拉斐尔•格洛尔（Rafan Zoles）杂志；艾尔姆泰尔•格洛
6. Bhushan，Megha；Goel，Shivani:使用本体论方法改进软件产品线（2016）
7. Cota，Giuseppe；Zese，Riccardo；Bellodi，Elena；Riguzzi，Fabrizio；Lamma，Evelina：概率本体论的分布式参数学习（2016）
8. Arif，M.Fareed；Mencía，Carlos；Marques Silva，Joao:Horn公式的有效MUS计数及其在公理精确定位中的应用（2015）
9. Autexier，Serge；Hutter，Dieter:SHIP——一种基于逻辑的编程智能环境的语言和工具（2015）
10. Zhou，Yujiao；Grau，Bernardo Cuenca；Nenov，Yavor；Kaminski，Mark；Horrocks，Ian:PAGOdA:使用数据日志推理器进行即付即用本体查询回答（2015）
11. 格里姆，伯特；霍洛克斯，伊恩；莫蒂克，鲍里斯；斯托伊洛斯，乔戈斯；王哲：隐士：猫头鹰2推理者（2014）
12. Kaminski，Mark；Smolka，Gert:混合动力PDL的目标导向决策程序（2014）
13. 叶夫根尼·卡扎科夫；马库斯·克鲁兹；弗朗蒂舍克·西曼切克：不可思议的麋鹿。从多项式过程到有效推理（\mathcalEL）本体论（2014）
14. Nikitina，Nadeschda；Rudolph，Sebastian：（非）描述逻辑中一般术语的统一插入式的简洁性（\mathcalEL）（2014）
15. Razzaq，Abdul；Latif，Khalid；Ahmad，H.Farooq；Hur，Ali；Anwar，Zahid；Bloodworth，Peter Charles：《针对web应用程序攻击的语义安全》（2014）ioport公司
16. Simančk，František；Motik，Boris；Horrocks，Ian:描述逻辑中基于结果和固定参数的可处理推理（2014）
17. Steigmiller，Andreas；Glimm，Birte；Liebig，Thorsten：《通过吸收与名义图式进行推理》（2014）
18. 张晓旺；肖国辉；林，左权；范登布施，简：不一致容忍推理与猫头鹰DL（2014）
19. 巴斯蒂诺斯，安娜萨沙；克里斯帕，马扬：本体论中的多准则决策（2013）ioport公司
20. Lin，Xi；Zhang，Hehua；Gu，Ming:OntCheck：一种基于组件模型的本体驱动静态正确性检查工具（2013）