
114 ◾ Secure Data Provenance and Inference Control
Java 1.5 as the main programming language for writing the logic in our code and
Pellet as the main reasoner (Sirin et al. 2007). We used synthetic data to build in-
memory models using the Jena API (http://jena.sourceforge.net/ARQ/lucene-arq.
html; Carroll et al. 2004). e individuals and their properties in our knowledge
bases were created randomly. We used Protégé to build our TBox and Jena to build
our ABoxes and programmatically extend the TBox (Knublauch et al. 2004). Each
user and patient had on average 30 object and datatype properties. We used various
information sources, such as WebM