RailCons partners with Oxford
The RailCons project has partnered with the Oxford team behind the powerful incremental verification for datalog and semantic web reasoning tool RDFox lead by Professor Boris Motik.
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.
Published Oct. 10, 2016 8:38 PM