Bart @ Ryerson
In September 2008, I began a Master's Degree in Computer Science at Ryerson University. You can view my Ryerson page here. As a result, this blog has become a bit outdated. But I've been busy, and updates are there, specifically my links page.
My primary area of research is ontologies. Specifically, I'm researching automated ontology mapping through machine learning (video from Standford). The domain I'm currently concentrating on is logical representation of ontologies in first order logic languages. This field is dominated by deductive theorem provers, and inductive logic programming. See Alan Bundy's paper Survey of Automated Deduction