弹丸

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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. Zese，Riccardo；Bellodi，Elena；Riguzzi，Fabrizio；Cota，Giuseppe；Lamma，Evelina:描述逻辑的表推理及其对概率的扩展（2018）
  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. 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）