Difference between revisions of "Semantics software for English"

Revision as of 12:05, 18 April 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
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, an 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

@@ Line 8: / Line 8: @@
 *[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://opencog.org/wiki/RelEx RelEx], an 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://www.comp.lancs.ac.uk/ucrel/usas/ UCREL] - Semantic Analysis System