Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • T thesis-projects
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 47
    • Issues 47
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • KWARC
  • thesis-projects
  • Issues
  • #29
Closed
Open
Created Apr 04, 2020 by Michael Kohlhase@mkohlhaseOwner

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.

Assignee
Assign to
Time tracking