数据和知识组
计算机科学系
牛津大学
数据和知识组
―知识表示和推理
关于KRR
人
项目
工具和数据集
新闻和事件
学生奖学金
访客
ISG工具
Web工具
ACQuA公司
展台OX
CB(断路器)
内容CVS
内容映射
ELK公司
EOLO公司
HermiT公司
因果报应
密钥数据库
日志映射
模块提取器
更多
本体库
帕戈达
棱镜
RDFox公司
安魂曲
RODI公司
RSAComb公司
SemFacet公司
红杉属
索姆
SumRDF(总RDF)
UOBM生成器
HermiT链接
概述
下载
使用HermiT
-命令行
-Java应用程序
出版物
支持
许可证
人
隐士OWL推理机
OWL街区的新小子
支持
请将错误报告和支持请求提交给
HermiT问题跟踪器
.
对于一般查询和讨论,请使用我们的
讨论论坛。