找到2个数据集

授权: Apache-License-2.0

过滤结果

  • 回答集程序（Answer Set Programming）求解器groc

    回答集程序（Answer Set Programming），简称ASP，是一个描述性编程语言（Declarative Programming Language），是人工智能知识表示领域中最重要的几个语言之一。很多知识并不适合用经典一阶逻辑（First-Order...

  • SparkSRE-基于Spark的语义推理引擎

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