Analyzing the AIR Language: A Semantic Web (Production) Rule Language
Analyzing the AIR Language: A Semantic Web (Production) Rule Language
复制标题
分析 AIR 语言：语义 Web（生产）规则语言
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
J. Hendler
中科院分区：
文献类型：
--
作者：
Ankesh Khandelwal;Jie Bao;Lalana Kagal;Ian Jacobi;Li Ding;J. Hendler
RDF (AIR) 语言中的问责制是一种基于 N3 的语义 Web 生产规则语言，支持规则的嵌套激活、否定、封闭世界推理、范围上下文推理以及推断事实的解释。每个 AIR 规则都有支持规则重用的唯一标识符（通常是 HTTP URI）。在本文中，我们通过以下方式分析 AIR 语言的语义：i）给出支持推理算法的声明性语义，ii）提供 AIR 推理的复杂性； iii) 通过在 AIR 中编码不同表达能力的逻辑程序来评估语言的表达能力。
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped contextualized reasoning, and explanation of inferred facts. Each AIR rule has unique identifier (typically an HTTP URI) that supports reuse of rule. In this paper we analyze the semantics of AIR language by: i) giving the declarative semantics that support the reasoning algorithm, ii) providing complexity of AIR inference; and iii) evaluating the expressiveness of language by encoding Logic Programs of different expressivities in AIR.