<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'http://tw.rpi.edu/wiki/Special:URIResolver/'>
	<!ENTITY property 'http://tw.rpi.edu/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'http://tw.rpi.edu/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:property="&property;">
	<!-- Ontology header -->
	<owl:Ontology rdf:about="">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-02-10T11:54:36-05:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<swivt:Subject rdf:about="&wiki;AIR_Language_Tutorial">
		<rdfs:label>AIR Language Tutorial</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;AIR_Language_Tutorial"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/AIR_Language_Tutorial"/>
		<rdf:type rdf:resource="&wiki;Category-3ATW_Technical_Report"/>
		<rdf:type rdf:resource="&wiki;Category-3APublication"/>
		<property:Abstract rdf:datatype="http://www.w3.org/2001/XMLSchema#string">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.</property:Abstract>
		<property:Author rdf:resource="&wiki;Ankesh_Khandelwal"/>
		<property:Author rdf:resource="&wiki;Li_Ding"/>
		<property:Author rdf:resource="&wiki;Lalana_Kagal"/>
		<property:Bibtype rdf:datatype="http://www.w3.org/2001/XMLSchema#string">techreport</property:Bibtype>
		<property:Has_author rdf:resource="&wiki;Ankesh_Khandelwal"/>
		<property:Has_author rdf:resource="&wiki;Li_Ding"/>
		<property:Has_author rdf:resource="&wiki;Lalana_Kagal"/>
		<property:Has_identifier rdf:resource="&wiki;TW-2D2009-2D06"/>
		<property:Has_publishing_details rdf:datatype="http://www.w3.org/2001/XMLSchema#string">March,2009</property:Has_publishing_details>
		<property:Has_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">AIR Language Tutorial</property:Has_title>
		<property:Has_tr_id rdf:datatype="http://www.w3.org/2001/XMLSchema#string">TW-2009-06</property:Has_tr_id>
		<property:Has_url rdf:resource="http://tw.rpi.edu/wiki.tw/images/c/c1/Twtr-2009-06.pdf"/>
		<property:Has_where_published rdf:datatype="http://www.w3.org/2001/XMLSchema#string">TWTR-2009-06</property:Has_where_published>
		<property:Has_year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2009</property:Has_year>
		<property:Institution rdf:resource="&wiki;Rensselaer_Polytechnic_Institute"/>
		<property:Month rdf:resource="&wiki;March"/>
		<property:Number rdf:resource="&wiki;TWTR-2D2009-2D06"/>
		<property:Paper_url rdf:resource="http://tw.rpi.edu/proj/tami/AIR_Policy_Tutorial"/>
		<property:Pdf rdf:resource="http://tw.rpi.edu/wiki.tw/images/c/c1/Twtr-2009-06.pdf"/>
		<property:Pdf_url rdf:resource="http://tw.rpi.edu/wiki.tw/images/c/c1/Twtr-2009-06.pdf"/>
		<property:Title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">AIR Language Tutorial</property:Title>
		<property:Year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2009</property:Year>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:DatatypeProperty rdf:about="&property;Year">
		<rdfs:label>Year</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Year"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Year"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Title">
		<rdfs:label>Title</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Title"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Title"/>
	</owl:DatatypeProperty>
	<owl:ObjectProperty rdf:about="&property;Pdf_url">
		<rdfs:label>Pdf url</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Pdf_url"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Pdf_url"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="http://tw.rpi.edu/wiki.tw/images/c/c1/Twtr-2009-06.pdf">
		<rdfs:label>Media:Twtr-2009-06.pdf</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Media:Twtr-2009-06.pdf"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Media:Twtr-2009-06.pdf"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Pdf">
		<rdfs:label>Pdf</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Pdf"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Pdf"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Paper_url">
		<rdfs:label>Paper url</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Paper_url"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Paper_url"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;TWTR-2D2009-2D06">
		<rdfs:label>TWTR-2009-06</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;TWTR-2009-06"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/TWTR-2009-06"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Number">
		<rdfs:label>Number</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Number"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Number"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;March">
		<rdfs:label>March</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;March"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/March"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Month">
		<rdfs:label>Month</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Month"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Month"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Rensselaer_Polytechnic_Institute">
		<rdfs:label>Rensselaer Polytechnic Institute</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Rensselaer_Polytechnic_Institute"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Rensselaer_Polytechnic_Institute"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Institution">
		<rdfs:label>Institution</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Institution"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Institution"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_year">
		<rdfs:label>Has year</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_year"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_year"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_where_published">
		<rdfs:label>Has where published</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_where_published"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_where_published"/>
	</owl:DatatypeProperty>
	<owl:ObjectProperty rdf:about="&property;Has_url">
		<rdfs:label>Has url</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_url"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_url"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_tr_id">
		<rdfs:label>Has tr id</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_tr_id"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_tr_id"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_title">
		<rdfs:label>Has title</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_title"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_title"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_publishing_details">
		<rdfs:label>Has publishing details</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_publishing_details"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_publishing_details"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;TW-2D2009-2D06">
		<rdfs:label>TW-2009-06</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;TW-2009-06"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/TW-2009-06"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Has_identifier">
		<rdfs:label>Has identifier</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_identifier"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_identifier"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Has_author">
		<rdfs:label>Has author</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_author"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_author"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Bibtype">
		<rdfs:label>Bibtype</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Bibtype"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Bibtype"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;Lalana_Kagal">
		<rdfs:label>Lalana Kagal</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Lalana_Kagal"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Lalana_Kagal"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Li_Ding">
		<rdfs:label>Li Ding</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Li_Ding"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Li_Ding"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Ankesh_Khandelwal">
		<rdfs:label>Ankesh Khandelwal</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Ankesh_Khandelwal"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Ankesh_Khandelwal"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Author">
		<rdfs:label>Author</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Author"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Author"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Abstract">
		<rdfs:label>Abstract</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Abstract"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Abstract"/>
	</owl:DatatypeProperty>
	<owl:Class rdf:about="&wiki;Category-3APublication">
		<rdfs:label>Publication</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Publication"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Publication"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3ATW_Technical_Report">
		<rdfs:label>TW Technical Report</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:TW_Technical_Report"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:TW_Technical_Report"/>
	</owl:Class>
	<!-- References to the SWiVT Ontology, see http://semantic-mediawiki.org/swivt/ -->
	<owl:AnnotationProperty rdf:about="&swivt;page">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:AnnotationProperty rdf:about="&swivt;creationDate">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:Class rdf:about="&swivt;Subject">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Class>
	<!-- Created by Semantic MediaWiki, http://semantic-mediawiki.org -->
</rdf:RDF>
