# Difference between revisions of "Semantics software for English"

From ACL Wiki

(Add relex) |
|||

Line 5: | Line 5: | ||

*[http://www.connexor.com/software/semantics/ Connexor Machinese Semantics] | *[http://www.connexor.com/software/semantics/ Connexor Machinese Semantics] | ||

*[http://sws.clearforest.com/blog ClearForest Semantic Web Service (API) ] | *[http://sws.clearforest.com/blog ClearForest Semantic Web Service (API) ] | ||

+ | *[http://www.blackburnbos.org CURT] - Semantic interpretation using off-the-shelf theorem proving and model building tools. | ||

*[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.ling.upenn.edu/lambda Lambda Calculator] - pedagogical software for lambda calculus and formal semantics in the style of the Heim & Kratzer (1998) textbook | ||

*[http://nltk.org 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) | *[http://nltk.org 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) | ||

− | *[http://opencog.org/wiki/RelEx RelEx] | + | *[http://opencog.org/wiki/RelEx RelEx] - English-language semantic relationship extractor. Provides framing/grounding also, as well as tagging of various sorts. Open source, Java, Apache license. |

*[http://senseclusters.sourceforge.net/ SenseClusters] | *[http://senseclusters.sourceforge.net/ SenseClusters] | ||

*[http://www.comp.lancs.ac.uk/ucrel/usas/ UCREL] - Semantic Analysis System | *[http://www.comp.lancs.ac.uk/ucrel/usas/ UCREL] - Semantic Analysis System |

## Revision as of 02:15, 19 April 2008

**Software - Semantics**

- Boxer - wide-coverage semantics based on DRT (Discourse Representation Theory)
- Connexor Machinese Semantics
- ClearForest Semantic Web Service (API)
- CURT - Semantic interpretation using off-the-shelf theorem proving and model building tools.
- 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