zbMATH中的参考文献（参考文献95篇文章)

1. 杜斯拉夫，克莱门斯；库普曼，帕特里克；Turhan，AnniYasmin:用本体论增强概率模型检查（2021）
2. 泰纳库卡拉，大卫；Cuenca Grau，贝尔纳多；Horrocks，Ian:Pay-as-you-go描述逻辑的基于结果的推理（\mathcalSROIQ）（2021）
3. 江云城：语义计算的形式化模型（2019）
4. 泽斯，里卡多；科塔，朱塞佩；南丫岛，伊芙丽娜；贝洛迪，埃琳娜；Riguzzi，Fabrizio:带精确公式的概率DL推理：基于Prolog的方法（2019）
5. 马特佐格鲁，尼古拉斯；帕西娅，比扬；萨特勒，Uli:OWL推理：包容测试硬度和模块性（2018）
6. 史考提欣，康斯坦丁；罗德勒，帕特里克；Schmid，Wolfgang:Ontodebug:protégé交互式本体调试插件（2018）
7. 泽斯，里卡多；贝洛迪，埃琳娜；里古兹，法布里齐奥；科塔，朱塞佩；Lamma，Evelina:描述逻辑的表推理及其对概率的扩展（2018）
8. 帕西娅，比扬；马特佐格鲁，尼古拉斯；冈萨尔维斯，拉斐尔S。；微光，白桦；Steigmiller，Andreas:The OWL reasoner evaluation（ORE）2015年竞争报告（2017年）
9. 布山，美嘉；Goel，Shivani:使用本体论方法改进软件产品线（2016）
10. 科塔，朱塞佩；泽斯，里卡多；贝洛迪，埃琳娜；里古兹，法布里齐奥；Lamma，Evelina:概率本体论的分布参数学习（2016）
11. 阿里夫，M.法雷德；门西亚，卡洛斯；Marques Silva，Joao:Horn公式的有效MUS计数及其在公理精确定位中的应用（2015）
12. 奥特西耶，谢尔盖；Hutter，Dieter:SHIP——一种基于逻辑的编程智能环境的语言和工具（2015）
13. 周玉娇；格劳贝尔纳多·昆卡；尼诺夫，亚弗；卡明斯基，马克；Horrocks，Ian:宝塔：使用数据日志推理器进行按需付费本体查询回答（2015）
14. 微光，白桦；霍洛克斯，伊恩；莫蒂克，鲍里斯；斯托伊洛斯，乔戈斯；王哲：《隐士：猫头鹰2推理者》（2014）
15. 卡明斯基，马克；Smolka，Gert:混合动力PDL的目标导向决策程序（2014）
16. 叶夫根尼·卡扎科夫；克鲁兹，马库斯；西曼契克，弗兰蒂舍克：不可思议的麋鹿。从多项式过程到有效推理（\mathcalEL）本体论（2014）
17. 尼基蒂娜，纳德斯卡达；Rudolph，Sebastian:（非）描述逻辑中一般术语的统一插入式的简洁性（\mathcalEL）（2014）
18. 拉扎克，阿卜杜勒；拉蒂夫，哈立德；艾哈迈德，H.法鲁克；啊，阿里；安瓦尔，扎希德；Bloodworth，Peter Charles:针对web应用程序攻击的语义安全（2014）ioport公司
19. 西曼契克，弗兰蒂舍克；莫蒂克，鲍里斯；Horrocks，Ian:描述逻辑中基于结果和固定参数可处理推理（2014）
20. 斯坦米勒，安德烈亚斯；微光，白桦；Liebig，Thorsten：《通过吸收来推理名词性图式》（2014）