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. 《概率论》和《逻辑的扩展》；卡多里吉奥和《逻辑》杂志
5. Parsia，Bijan；Matentzoglu，Nicolas；Gonçalves，Rafael S.；Glimm，Birte；Steigmiller，Andreas:The OWL reasoner evaluation（ORE）2015年竞争报告（2017年）
6. Bhushan，Megha；Goel，Shivani:使用本体论方法改进软件产品线（2016）
7. Cota，Giuseppe；Zese，Riccardo；Bellodi，Elena；Riguzzi，Fabrizio；Lamma，Evelina：概率本体论的分布式参数学习（2016）
8. Carlos M.Horn的有效计数公式；Jo M.Horn；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）