Semantics software for English

From ACLWiki
(Difference between revisions)
Jump to: navigation, search
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] - Software from the Blackburn & Bos (2005) book: model checking, lambda calculus, interfaces to theorem provers and model builders, and CURT itself.  
+
*[http://www.blackburnbos.org 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.  
 
*[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

Revision as of 05:22, 19 April 2008

Software - Semantics

  • Boxer - wide-coverage semantics based on DRT (Discourse Representation Theory)
  • Connexor Machinese Semantics
  • 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
Personal tools