\addvspace {10\p@ }
\contentsline {figure}{\numberline {1-1}{\ignorespaces Architecture of our policy assurance reasoner, demonstrating separation from the RDBMS.}}{19}{figure.1.1}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {2-1}{\ignorespaces Overview of an integrated policy assurance system. From \cite {iarpa-pir-slides}.}}{23}{figure.2.1}
\contentsline {figure}{\numberline {2-2}{\ignorespaces Restriction Policy Creator Web Page}}{27}{figure.2.2}
\contentsline {figure}{\numberline {2-3}{\ignorespaces Tabulator Representation of the Sample ``No Address'' Restriction Policy}}{28}{figure.2.3}
\contentsline {figure}{\numberline {2-4}{\ignorespaces URI for the demo ``no address'' policy.}}{28}{figure.2.4}
\contentsline {figure}{\numberline {2-5}{\ignorespaces Converting a SPARQL Query to N3}}{29}{figure.2.5}
\contentsline {figure}{\numberline {2-6}{\ignorespaces Compliant SPARQL query, converted to N3.}}{30}{figure.2.6}
\contentsline {figure}{\numberline {2-7}{\ignorespaces Tabulator Representation of a Sample SPARQL Query}}{30}{figure.2.7}
\contentsline {figure}{\numberline {2-8}{\ignorespaces URI for the translation of the compliant demo query.}}{31}{figure.2.8}
\contentsline {figure}{\numberline {2-9}{\ignorespaces Policy Execute Web Page}}{32}{figure.2.9}
\contentsline {figure}{\numberline {2-10}{\ignorespaces Tabulator Compliance Summary for Sample Query and Sample Policy}}{33}{figure.2.10}
\contentsline {figure}{\numberline {2-11}{\ignorespaces Tabulator Compliance Justification UI for Sample Query and Sample Policy}}{34}{figure.2.11}
\contentsline {figure}{\numberline {2-12}{\ignorespaces Tabulator Non-Compliance Summary for Sample Query and Sample Policy}}{35}{figure.2.12}
\contentsline {figure}{\numberline {2-13}{\ignorespaces Tabulator Non-Compliance Justification UI for Sample Query and Sample Policy}}{36}{figure.2.13}
\contentsline {figure}{\numberline {2-14}{\ignorespaces URI for the translation of the non-compliant demo query.}}{36}{figure.2.14}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {3-1}{\ignorespaces A screenshot of the SPARQL to N3 translator Web page.}}{40}{figure.3.1}
\contentsline {figure}{\numberline {3-2}{\ignorespaces Ontology diagram of the SPARQL translation, courtesy of Yotam Aron.}}{42}{figure.3.2}
\contentsline {figure}{\numberline {3-3}{\ignorespaces A screenshot of the policy generator, courtest of Yotam Aron.}}{69}{figure.3.3}
\contentsline {figure}{\numberline {3-4}{\ignorespaces Tabulator browser presentation of the MIT Prox Card policy.}}{70}{figure.3.4}
\contentsline {figure}{\numberline {3-5}{\ignorespaces Tabulator justification user interface.}}{71}{figure.3.5}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {4-1}{\ignorespaces Unoptimized policy run time from table \ref {no-opt}.}}{75}{figure.4.1}
\contentsline {figure}{\numberline {4-2}{\ignorespaces Unoptimized policy run time from table \ref {with-opt}. Note log scale on the X axis.}}{76}{figure.4.2}
\addvspace {10\p@ }
\addvspace {10\p@ }
\addvspace {10\p@ }
\addvspace {10\p@ }
\contentsline {figure}{\numberline {A-1}{\ignorespaces Semantic Web ``layer cake,'' showing how components relate\cite {swot}.}}{92}{figure.A.1}
\contentsline {figure}{\numberline {A-2}{\ignorespaces The RDF logo. Its structure suggests the triple pattern. From \cite {rdf}.}}{95}{figure.A.2}
\contentsline {figure}{\numberline {A-3}{\ignorespaces A sample RDF data set, using backslash to denote newline. From \cite {sparql}.}}{99}{figure.A.3}
\contentsline {figure}{\numberline {A-4}{\ignorespaces A sample SPARQL query. From \cite {sparql}.}}{99}{figure.A.4}
\contentsline {figure}{\numberline {A-5}{\ignorespaces Diagram of the AIR policy language ontology.}}{103}{figure.A.5}
\addvspace {10\p@ }