\cleardoublepage
\section*{Acknowledgments}

I would like to thank Chris Hanson for the design on AIR and for helping me understand how a reasoner for it had to work. 

I would like to thank Tim Berners-Lee for both the development of the Semantic Web as well as for supervising and mentoring me over the last four years. I would like to thank both him and Dan Connolly for the development of Cwm and the Notation3 language. 

Thanks to Lalana Kagal for trying to supervise me and hold me to a schedule, as well as being a user helping set the requirements for much of the software used. 

Thanks to Gerry Susman for talking to me and helping with writing this thesis. 

Thanks to IARPA for funding my research.

Thanks to Dan Connolly, Sean B. Palmer, and all others who have contributed to Cwm over the years. 

I would like to thank my parents for all of their help and support over the years. 
