Difference between revisions of "Semantics software for English"
Jump to navigation
Jump to search
m (Semantics software moved to Semantics software (English)) |
|||
| Line 1: | Line 1: | ||
'''[[Software]] - Semantics''' | '''[[Software]] - Semantics''' | ||
| + | |||
| + | For languages other than English, see [[List of resources by language]]. | ||
<!-- Please keep this list in alphabetical order --> | <!-- Please keep this list in alphabetical order --> | ||
Revision as of 16:23, 11 May 2008
Software - Semantics
For languages other than English, see List of resources by language.
- Boxer - wide-coverage semantics based on DRT (Discourse Representation Theory)
- ClearForest Semantic Web Service (API)
- CURT - Software from the Blackburn & Bos (2005) book: model checking, lambda calculus, underspecification, tableau inference, interfaces to theorem provers and model builders, and CURT itself.
- 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)
- RelEx - English-language semantic relationship extractor. Provides framing/grounding also, as well as tagging of various sorts. Open source, Java, Apache license.
- SenseClusters
- UCREL - Semantic Analysis System
- utool The Swiss Army Knife of Underspecification