弹丸

Pellet:owl2reasoner for Java。对于需要使用OWL来表示和推理信息的应用程序,对于需要健全和完整的owldl推理的系统来说,Pellet是首选。小球包括对包括owl2el在内的owl2配置文件的支持。它包含了对名词、连接查询回答和增量推理的优化。在Pellet帮助中有关于系统体系结构及其特性的更详细的信息。owldl-reasoner-like-Pellet是基于本体的数据管理应用程序的核心组件;如果您需要在使用Pellet进行高级集成或分析应用方面的专业知识,Clark&Parsia LLC可以提供多种角色的帮助:咨询、应用程序开发和OEM许可。


zbMATH中的参考文献(参考文献93篇文章)

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