air-tutorial-v3

AIR Language Tutorial March 17, 2009 11 2Ankesh Khandelwal , Li Ding , Lalana Kagal 1 Tetherless World Constellation, Rensselaer Polytechnic Institute, 110 8th St, Troy, NY12180, USA 2 Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge MA 02139, USA {ankesh,dingl}@cs.RPI.edu, {lkagal}@csail.mit.edu Abstract. AIR is a Semantic Web rule language that supports customizable explanations for policy decisions. Each AIR policy, represented as a collection of production rules, can be used to check transaction logs that record data manipulation activities. The checking results include (i) asserted policy decision statements, i.e. which certain log entry is "compliant" or "non-compliant" with the given AIR policy; and (ii) customizable justification statements, i.e. the custom-tailored justifications showing how AIR reasoner derived the policy decision statements using the input logs and policies. This paper systematically reviews the language features of AIR with working examples. We also discuss some additional features of a CWM and TMS-based AIR policy reasoner. Keywords: AIR Language, AIR reasoner, Rule, Policy. 1 Introduction Accountability in RDF (AIR) [1] is a policy language represented by Turtle [2] with 2quoting [3]. The current AIR specification [4] uses RDFS [5] based AIR ontology to encode the language constructs and some computational semantics of AIR language. This tutorial ...