Semantics software for English
From ACLWiki
Software - Semantics
- Boxer - wide-coverage semantics based on DRT (Discourse Representation Theory)
- Connexor Machinese Semantics
- ClearForest Semantic Web Service (API)
- Intellexer - Natural Language Searching Technologies
- Lambda Calculator - pedagogical software for lambda calculus and formal semantics in the style of the Heim & Kratzer (1998) textbook
- NLTK semantics - Python libraries for lambda calculus, first order model checking, DRT, glue semantics, a tableau theorem prover and interfaces to external inference programs (Prover9, Mace4)
- SenseClusters
- UCREL - Semantic Analysis System
- utool The Swiss Army Knife of Underspecification
