首页> 外文会议>International Conference on Logic Programming and Nonmonotonic Reasoning >C-ASP: Continuous ASP-Based Reasoning over RDF Streams
【24h】

C-ASP: Continuous ASP-Based Reasoning over RDF Streams

机译:C-ASP:在RDF流上基于ASP的连续推理

获取原文

摘要

The ability to perform complex reasoning over data streams has recently become an important area of research in the Semantic Web community. Most of SPARQL-inspired engines have limitations in capturing sophisticated user requirements and dealing with complex reasoning tasks. To address these challenges, we propose and implement C-ASP, a reasoning system based on the Answer Set Programming (ASP) system Clingo and extended to handle continuous reasoning requests over RDF streams. We provide the syntax of the C-ASP language, as well as a set of examples in order to illustrate its expressive power. In addition, we present preliminary experimental results showing C-ASP performances.
机译:对数据流执行复杂推理的能力最近已成为语义Web社区中重要的研究领域。受SPARQL启发的大多数引擎在捕获复杂的用户需求和处理复杂的推理任务方面都有局限性。为了解决这些挑战,我们提出并实现了C-ASP,这是一个基于答案集编程(ASP)系统Clingo的推理系统,并已扩展为可以处理RDF流上的连续推理请求。我们提供C-ASP语言的语法以及一系列示例,以说明其表达能力。此外,我们提出了初步的实验结果,显示了C-ASP的性能。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号