| Extracting Traceable Formal Representations from Natural Language Regulatory Documents |
There are two tools, which we will release in the near future:
- The ODredd Conformance Checker - This provides the logic infrastructure, which we have motivated and formalized in our papers. A case study of the CFR has been carried out using the tool, and is available online.
- A tool for manually annotating a scope-resolved structure on sentences - The tree structure that is annotated is to be used in creating the logic representation of a sentence. We are currently annotating these structures manually, and will apply parsing techniques to compute these structure once a modest-sized corpus has been created. A screenshot is below.