找到14个工具集

...

一种基于部分物化方法的高效的查询回答系统； 支持OWL 2 DL本体，并且以Pellet为完备性评估标准，SUMA在8个测试查询上完备性高于PAGOdA； 采用低复杂度的物化算法并且为数据和规则构建三级索引，实现高效的物化； 支持单机亿级规模的三元组实时推理，在三个Benchmark数据集上预处理时间（包括物化时间）比PAGOdA快七倍；...

知识表示学习旨在将知识图谱中的实体和关系表示为低维稠密的向量。大多数现有的研究只利用结构信息来学习这些向量。我们研究OWL 2...

单调推理机 montony-inference是一个基于perl语言的内存计算框架的单调语义推理软件。输入为两部分。1事实抽取出三元组。2自定义的一套规则语法的三元组。输出为推理后得出的事实三元组，使用排列组合算法产生新事实加入内存再次迭代计算，一直到没有新的事实产生输出。。 本系统有2部分文件作为输入。输出是所有推理出的新事实。...

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

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

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

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

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

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

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

SparkSRE是一个基于分布式内存计算框架Spark的语义推理引擎实现方案。该实现方案充分利用了Spark具有的分布式内存抽象弹性分布式数据集RDD，将语义推理的算法转换成在RDD之上的各种变换操作，最终实现面向语义Web领域RDFS规则集、OWL Horst规则集和通用形式规则的语义推理能力。

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

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