We are announcing a new research project, coordinated by Alexandru-Dan Corlan. The project aims to develop (1) a common semantic representation of statements found in laws and other norms, and also of statements proposed as laws of nature and other research results; and (2) a search engine, based on a database of such representations, that helps the user find statements relevant to a given case.
An early demo of a small-scale pilot project may be found here.
For more information, see the project page.