RDFox is one of the latest prodigy from the Oxford ISG group on Knowledge Representation and Reasoning, sitting besides other famous tools like HermiT.
One of the immediate goals of this partnership is to use RDFox on checking consistency of railway designs done by the RailComplete AS based on the methods developed in the RailCons project.