GrammaticalFramework / gf-wordnetLinks
A WordNet in GF
☆28Updated 3 weeks ago
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)☆58Updated 2 months ago
- Community contributions to the Grammatical Framework☆61Updated last year
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆59Updated 3 years ago
- Grammatical Framework core: compiler, shell & runtimes☆142Updated last month
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 6 months ago
- A rule engine based on Attempto Controlled English☆18Updated 9 months ago
- The Heterogeneous Tool Set☆58Updated 6 months ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- A Grammatical Framework application grammar for casual coffee-break conversations☆9Updated 6 years ago
- This ontology is a Linked Data Hub for mathematics☆61Updated last year
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- The MMT Language and System☆75Updated last year
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 14 years ago
- ClioPatria provides an RDF application platform☆56Updated last year
- Parser for Attempto Controlled English (ACE)☆198Updated last year
- Supervised learning of morphology☆28Updated 8 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆38Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last month
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- common language and mathematics processing algorithms, in Rust☆26Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated last month
- Sigma Knowledge Engineering Environment☆110Updated this week
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Updated 3 weeks ago
- Type checking and logical inference for JetBrains MPS☆33Updated last 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 …☆9Updated 6 years ago