FrameNet to OMDoc/MMT exporter.
FrameNet is a semantic linguistic resource that collects a set of common frames that can be used for understanding common sense situations. It woucd be very nice to have a translator of FrameNet into MMT Theories. For that we need
- A metatheory (FrameNetLogic)
- a translator for the FrameNet data, which comes as an XML file. I have already requested the data. FrameNet is licensed under Creative Commons Attribution, so we are allowed to do this and even republish it on MathHub (as long as we attribute).
This would be a good basis for JLogic.