• EL2MCS公司

  • 参考6篇文章[sw28624]
  • 高效公理 精确定位用EL2MCS。公理 精确定位包括计算一个集合最小值。。。开发一种用于公理 精确定位基于对不满足命题公式的分析。。。它利用了公理集合和最小不可满足子公式。。。比现有的公理 精确定位轻量级描述逻辑的方法。。。
  • 弹丸

  • 引用92篇文章[sw07019]
  • Pellet:owl2reasoner for Java。应用程序。。。
  • 信标

  • 引用5篇文章[sw16742]
  • BEACON:一个高效的基于SAT的调试工具。。。
  • 只是

  • 引用3篇文章[sw16743]
  • 只是:一个计算正当性的工具。。。