Abstract:The state of the art for reasoning systems is unsatisfactory in several respects. In most cases, provers are poorly specified, hardly interconnectible, and they require a deep insight of their custom features in order to fully exploit their capabilities. The OMRS project is aimed at providing a general framework for specifying, structuring, and interoperating provers. This paper surveys the current achievements of the research performed within the OMRS project, under both the theoretical and the experimental side, and provides a perspective of its future evolution.

The OMRS Project: State of the Art