找到2个资源集

过滤结果
  • 回答集程序(Answer Set Programming)求解器groc 热门

    回答集程序(Answer Set Programming),简称ASP,是一个描述性编程语言(Declarative Programming Language),是人工智能知识表示领域中最重要的几个语言之一。很多知识并不适合用经典一阶逻辑(First-Order...
  • SparkSRE-基于Spark的语义推理引擎

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