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.

 

Tags: RDFox, Railway regulations, railway infrastructure designs, Datalog, incremental verification By Christian Johansen
Published Oct. 10, 2016 8:38 PM
E-mail this page

See more info on the project RailCons: Automated Methods and Tools for Ensuring Consistency of Railway Designs.