GrammaticalFramework / gf-wordnetLinks
A WordNet in GF
☆27Updated this week
Alternatives and similar repositories for gf-wordnet
Users that are interested in gf-wordnet are comparing it to the libraries listed below
Sorting:
- Grammatical Framework's Resource Grammar Library (RGL)☆61Updated last week
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- Community contributions to the Grammatical Framework☆62Updated last year
- Grammatical Framework core: compiler, shell & runtimes☆147Updated 2 months ago
- The Heterogeneous Tool Set☆60Updated 3 months ago
- A rule engine based on Attempto Controlled English☆18Updated last year
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 11 months ago
- ClioPatria provides an RDF application platform☆57Updated last month
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 14 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Updated 6 years ago
- The MMT Language and System☆79Updated 4 months ago
- This ontology is a Linked Data Hub for mathematics☆66Updated last year
- Large lexicon for APE (~100,000 entries)☆30Updated 7 years ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- Parser for Attempto Controlled English (ACE)☆210Updated last year
- OWL verbalizer: making machine-readable knowledge also human-readable☆40Updated 2 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated this week
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆10Updated 7 years ago
- ☆34Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 12 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Updated 4 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- Sigma Knowledge Engineering Environment☆116Updated this week
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- A semantic Extension of TeX/LaTeX☆55Updated last week
- Type checking and logical inference for JetBrains MPS☆32Updated 2 months ago
- A Jupyter kernel for Prolog☆24Updated last year
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- Prolog versions of the WordNet databases☆30Updated this week