Air language tutorial

From Semantic Portal Wiki

Edit

Reference:

1. Ankesh Khandelwal, Li Ding, Lalana Kagal. AIR Language Tutorial , Tetherless World Constellation (TW-2009-06), 2009

bibtex

@techreport { khandelwal2009air ,
  author = "Ankesh Khandelwal, Li Ding, Lalana Kagal", 
institution = "Tetherless World Constellation", 
number = "TW-2009-06", 
title = "AIR Language Tutorial", 
year = "2009", 
} 

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.

download:

• paper: TW-2009-06.pdf (http://tw.rpi.edu/proj/tami/AIR_Policy_Tutorial)
• slides: