A fork of Chimezie Ogbuji's Fuxi Semantic Web reasoner http://code.google.com/p/fuxi/