AIR Language Tutorial
From Tetherless World Wiki
| TW-2009-06 | Edit TWTR | |
Citation: Ankesh Khandelwal,Li Ding,Lalana Kagal. (2009) AIR Language Tutorial. In , March,2009. (Download)
| Publication techreport ( Edit ) | |
| bibtype | techreport |
| Bibtex basics | |
| author | Ankesh Khandelwal;Li Ding;Lalana Kagal |
| title | AIR Language Tutorial |
| number | TWTR-2009-06 |
| institution | Rensselaer Polytechnic Institute |
| year | 2009 |
| month | March |
| Bibtex more | |
| Access Paper | |
| 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. |
| Twtr-2009-06.pdf | |
| paper url | http://tw.rpi.edu/proj/tami/AIR_Policy_Tutorial |
| pdf url | http://tw.rpi.edu/wiki.tw/images/c/c1/Twtr-2009-06.pdf |
Facts about AIR Language TutorialRDF feed
| Abstract | AIR is a Semantic Web rule language that s … 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. f a CWM and TMS-based AIR policy reasoner. |
| Author | Ankesh Khandelwal +, Li Ding +, and Lalana Kagal + |
| Bibtype | techreport + |
| Has author | Ankesh Khandelwal +, Li Ding +, and Lalana Kagal + |
| Has identifier | TW-2009-06 + |
| Has publishing details | March,2009 + |
| Has title | AIR Language Tutorial + |
| Has tr id | TW-2009-06 + |
| Has url | http://tw.rpi.edu/wiki.tw/images/c/c1/Twtr-2009-06.pdf + |
| Has year | 2009 + |
| Institution | Rensselaer Polytechnic Institute + |
| Month | March + |
| Number | TWTR-2009-06 + |
| Paper url | http://tw.rpi.edu/proj/tami/AIR_Policy_Tutorial + |
| Twtr-2009-06.pdf + | |
| Pdf url | http://tw.rpi.edu/wiki.tw/images/c/c1/Twtr-2009-06.pdf + |
| Title | AIR Language Tutorial + |
| Year | 2009 + |
