GrammaticalFramework / gf-wordnet
A WordNet in GF
☆24Updated this week
Related projects ⓘ
Alternatives and complementary repositories for gf-wordnet
- Grammatical Framework's Resource Grammar Library (RGL)☆52Updated this week
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- Community contributions to the Grammatical Framework☆60Updated 3 months ago
- Grammatical Framework core: compiler, shell & runtimes☆131Updated last week
- A rule engine based on Attempto Controlled English☆18Updated last week
- The Heterogeneous Tool Set☆57Updated 2 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆69Updated 7 months ago
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- ClioPatria provides an RDF application platform☆52Updated 8 months ago
- A Grammatical Framework application grammar for casual coffee-break conversations☆9Updated 5 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Supervised learning of morphology☆28Updated 7 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆8Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Classical CHAT80 NLP system for Prolog☆21Updated last year
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 5 months ago
- Prolog versions of the WordNet databases☆30Updated 8 months ago
- A Mercury CSV library.☆11Updated 9 months ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Tools for the 3rd edition of the Constraint Grammar formalism.☆20Updated last month
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 3 months ago
- ☆25Updated last month
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆36Updated last year
- The MMT Language and System☆68Updated 3 months ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated last year
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 9 years ago