As part of my research I have (co-)developed the following open-source software. Feel free to contact me if you have questions and suggestions.
  • RockIt: The currently most efficient inference engine for Markov Logic networks. Also available as a web service.
  • ELOG: A reasoner for log-linear description logics, supporting both MAP and marginal queries
  • CODI: Combinatorial Optimization for Data Integration, a data integration toolkit for the alignment of ontologies, schemas, and objects
  • LiftedMCMC: Orbital Markov chains, a family of Markov chains exploiting model symmetries; the first lifted MCMC approach that works for a large class of probabilistic graphical models
  • EVMs: Exchangeable Variable Models, a novel family of tractable probabilistic graphical models generalizing the Naive Bayes family of models
  • Indiana Philosophy Ontology Project: A collection of digital humanities tools and data sets
  • Linked Humanities Project: A framework for exploring, linking, and enhancing digital humanities data