首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 秃鹰--结果驱动的OWL推理机

秃鹰--结果驱动的OWL推理机

  • 资源大小:35.01 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: OWL 驱动 结果 推理 秃鹰

资 源 简 介

ConDOR is an experimental reasoner for ontologies based on a new kind of "consequence-based" reasoning procedure described in this paper. Currently ConDOR supports a fragment of OWL 2 which corresponds to the description logic SH.

文 件 列 表

condor-src-r.12
bin
examples
INSTALL
LICENCE
Makefile
README
src

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
0.165281s