数据和知识组

―知识表示和推理

ISG工具

CB OWL 2喇叭推理器

概述

CB是作为ConDOR项目.CB为基于一种新的基于结果的推理过程。目前CB支持OWL 2号机组对应于描述逻辑喇叭SHIF。

CB是开源的，根据GNU较低GPL.所有组件和源代码可从CB谷歌代码项目。



下载

使用CB

CB作为保护插件

CB可用作普罗泰格OWL公司本体编辑器：只需复制org.semanticweb。来自的CB.jar最新CB版本放入Protégé的插件文件夹中。

来自命令行的CB

CB为常见推理任务提供了一个命令行界面，包括分类：只需下载CB-？os？-？拱门-右侧。？构建？。从最新CB版本，在哪里？操作系统？是win、macos还是linux之一？拱门？是x86或x86-64之一，并且？建造？是最新版本。

研究人员

叶夫根尼·哈萨克夫.

赞助商

英国工程和物理科学研究委员会

主要出版物