Difference between revisions of "Semantics software for English"
Jump to navigation
Jump to search
| Line 6: | Line 6: | ||
*[http://sws.clearforest.com/blog ClearForest Semantic Web Service (API) ] | *[http://sws.clearforest.com/blog ClearForest Semantic Web Service (API) ] | ||
*[http://www.intellexer.com/ Intellexer - Natural Language Searching Technologies] | *[http://www.intellexer.com/ Intellexer - Natural Language Searching Technologies] | ||
| + | *[http://www.ling.upenn.edu/lambda Lambda Calculator] - pedagogical software for lambda calculus and formal semantics in the style of the Heim & Kratzer (1998) textbook | ||
*[http://www.clres.com/prepositions.html Preposition Project] | *[http://www.clres.com/prepositions.html Preposition Project] | ||
*[http://senseclusters.sourceforge.net/ SenseClusters] | *[http://senseclusters.sourceforge.net/ SenseClusters] | ||
Revision as of 14:32, 23 July 2007
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
- Preposition Project
- SenseClusters
- UCREL - Semantic Analysis System
- utool The Swiss Army Knife of Underspecification