Federated description logics for the semantic web

Abstract

This is the second Ph.D. thesis that I have written. A long time ago, I completed my first doctoral degree in Mathematical Logic, also at Iowa State, under the supervision of Don Pigozzi, one of the founding fathers of Abstract Algebraic Logic, and a student of Alfred Tarski.To him I owe many of the things that I have learned about logic and life that have culminated in writing this dissertation. For better or for worse, it reflects who I am and the logical journeys that I continue to crave so badly in my life...