| 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.
|
