I am building zelph, an open-source reasoning engine in which facts, rules, predicates and numbers are all nodes in one hash-consed graph. It is applied to ontology consistency checking over the full Wikidata dump and has received two Wikimedia grants. I have been working on the idea since 2012.
Before that I wrote the chess engine Aristarch, and co-developed jetpix, a wavelet image codec that c’t magazine measured against JPEG2000 in 1999.
Contact: info@zipproth.ch