http://bartgdev.com/articles/2009/03/04/bart-ryerson en-us 40 <b>Dev</b>eloping well <b>dev</b>ised applications <p> In September 2008, I began a Master's Degree in Computer Science at <a href='http://www.scs.ryerson.ca/'>Ryerson University</a>. You can view my Ryerson page <a href='http://www.scs.ryerson.ca/~bgajdero'>here</a>. As a result, this blog has become a bit outdated. But I've been busy, and updates are there, specifically my <a href='http://www.scs.ryerson.ca/~bgajdero/links'>links</a> page. </p> <p> My primary area of research is <a href="http://tomgruber.org/writing/ontology-definition-2007.htm">ontologies</a>. Specifically, I'm researching automated <a href="http://scholar.google.ca/scholar?q=ontology%20mapping&amp;oe=utf-8&amp;rls=org.mozilla:en-US:official&amp;client=firefox-a&amp;um=1&amp;ie=UTF-8&amp;sa=N&amp;hl=en&amp;tab=ws">ontology mapping</a> through machine learning <a href="http://www.youtube.com/watch?v=5u4G23_OohI">(video from Standford)</a>. 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 <a href="http://homepages.inf.ed.ac.uk/bundy/">Alan Bundy's</a> paper <a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.4150">Survey of Automated Deduction</a> </p> Wed, 04 Mar 2009 21:49:00 -0600 urn:uuid:f309700d-23e8-4872-aad0-e056cfe661b8 Bart http://bartgdev.com/articles/2009/03/04/bart-ryerson ryerson computer science