弹丸

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


zbMATH参考文献(92篇文章引用)

显示第1到第20个结果,共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)