Sciweavers

Share
RR
2010
Springer

Analyzing the AIR Language: A Semantic Web (Production) Rule Language

9 years 3 months ago
Analyzing the AIR Language: A Semantic Web (Production) Rule Language
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.
Ankesh Khandelwal, Jie Bao, Lalana Kagal, Ian Jaco
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where RR
Authors Ankesh Khandelwal, Jie Bao, Lalana Kagal, Ian Jacobi, Li Ding, James A. Hendler
Comments (0)
books