Difference between revisions of "Semantics software for English"
Jump to navigation
Jump to search
Line 13: | Line 13: | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
[[Category:Software]] | [[Category:Software]] | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Revision as of 06:42, 8 January 2008
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
- SenseClusters
- UCREL - Semantic Analysis System
- utool The Swiss Army Knife of Underspecification