GrammaticalFramework / gf-wordnetLinks
A WordNet in GF
☆27Updated last 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)☆60Updated last month
- 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☆146Updated last month
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 11 months ago
- A rule engine based on Attempto Controlled English☆18Updated last year
- The MMT Language and System☆79Updated 3 months ago
- Large lexicon for APE (~100,000 entries)☆30Updated 7 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- The Heterogeneous Tool Set☆59Updated 2 months ago
- This ontology is a Linked Data Hub for mathematics☆66Updated last year
- Parser for Attempto Controlled English (ACE)☆209Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 2 months ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆40Updated 2 years ago
- ClioPatria provides an RDF application platform☆57Updated last month
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Updated 4 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 14 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 2 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 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 …☆10Updated 7 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- ☆41Updated last week
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Updated 6 years ago
- ☆34Updated 5 years ago
- Supervised learning of morphology☆28Updated 8 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated last month
- Classical CHAT80 NLP system for Prolog☆25Updated 10 months ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated last week