找到9个数据集

标签: 知识推理

过滤结果

  • Pellet: OWL 2推理器

    OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 Pellet是Java的OWL 2推理器。 它可以与Jena和OWL API库一起使用; 它也可以下载并包含在其他应用程序中。

  • RacerPro : OWL推理器和推理服务器

    OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 RacerPro是语义网的OWL推理器和推理服务器。 RACER代表Renamed ABox和Concept Expression Reasoner。 RacerPro是软件的商业名称。

  • Jena:建立链接数据的java框架

    OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 Jena，用来构建语义Web和关联数据的免费、’开源的Java框架。 它为RDF，RDFS和OWL，SPARQL，GRDDL提供了一个编程环境，并且包括基于规则的推理引擎。

  • RDFox: 牛津大学的知识库推理工具（推荐）

    OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 RDFox是一个高度可扩展的内存RDF三元组存储，支持共享内存并行OWL 2 RL推理。 它是用C ++编写的跨平台软件，带有一个Java包装器，允许与任何基于Java的解决方案（包括OWL API）轻松集成。

  • Virtuoso: 老牌的知识库查询存储推理技术平台

    OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 Virtuoso是一个可扩展的跨平台服务器，将关系，图形和文档数据管理与Web应用程序服务器和Web服务平台功能相结合。...

  • GraphDB:语义数据查询推理引擎

    OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 GraphDB（前OWLIM）是最可扩展的语义库。 它包括三元组存储，推理引擎和SPARQL查询引擎。 它被封装为Sesame RDF数据库的存储和推理层（SAIL）。 GraphDB使用TRREE引擎执行RDFS，OWL DLP，OWL Horst推理和OWL 2 RL。...

  • Hermit: OWL推理机

    OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 HermiT是使用OWL编写的本体论的推理者。 给定一个OWL文件，HermiT可以确定本体是否一致，识别类之间的包含关系，等等。 HermiT是第一个公开可用的OWL推理器，基于一种新颖的“超高级”演算，提供比任何以前已知的算法更有效的推理。...

  • Kaon2: 管理OWL-DL SWRL和F-Logic本体的基础设施

    OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 KAON2是用于管理OWL-DL SWRL和F-Logic本体的基础设施。 它能够操纵OWL-DL本体; 查询可以使用SPARQL来表达。

  • FaCT++: OWL DL推理器

    OpenKG搜集和整理知识图谱相关的技术工具，并将组织开展技术评测。 FaCT++是一个在C ++中实现的OWL DL推理器。它是一个基于tableaux的表达式描述逻辑（DL）的推理器。 它涵盖OWL和OWL 2（不支持关键约束和一些数据类型）基于DL的本体语言。 它可以用作独立的DIG推理器，或作为基于OWL API的应用程序的后端推理器。...