Difference between revisions of "Semantics software for English"

From ACL Wiki
Jump to: navigation, search
(remove non-related)
 
(13 intermediate revisions by 7 users not shown)
Line 1: Line 1:
'''[[Software]] - Semantics'''
+
'''[[Tools and Software for English]] - Semantics'''
<!-- Please keep this list in alphabetical order -->
+
  
 +
For languages other than English, see [[List of resources by language]].
 +
 +
<!-- Please keep this list in alphabetical order -->
 
*[http://svn.ask.it.usyd.edu.au/trac/candc/wiki Boxer] - wide-coverage semantics based on DRT (Discourse Representation Theory)
 
*[http://svn.ask.it.usyd.edu.au/trac/candc/wiki Boxer] - wide-coverage semantics based on DRT (Discourse Representation Theory)
 +
*[http://www.yorku.ca/jmason/asdindex.htm/ CardWorld1] is an example of English-language understanding with non-trivial syntax, semantics and pragmatics.
 
*[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, underspecification, tableau inference, 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.  
Line 8: Line 11:
 
*[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://www.semantilog.org/pypes.html PyPES] - library for scoping, FOL translation, inferencing with the ERG (English Resource Grammar)
 
*[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://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
 
*[http://www.coli.uni-saarland.de/projects/chorus/utool/ utool] The Swiss Army Knife of Underspecification
 
*[http://www.coli.uni-saarland.de/projects/chorus/utool/ utool] The Swiss Army Knife of Underspecification
 +
*[http://www.wikimeta.org Wikimeta] is an API service based, establishing for a named entity a link to the LinkedData Netork. It can be used trough an on-line web form and as a web service.
 +
 +
<!-- Please keep this list in alphabetical order -->
  
 
[[Category:Semantics]]
 
[[Category:Semantics]]
 
[[Category:Software]]
 
[[Category:Software]]
 +
[[Category:Resources for English]]

Latest revision as of 11:20, 7 September 2012

Tools and Software for English - Semantics

For languages other than English, see List of resources by language.

  • Boxer - wide-coverage semantics based on DRT (Discourse Representation Theory)
  • CardWorld1 is an example of English-language understanding with non-trivial syntax, semantics and pragmatics.
  • 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)
  • PyPES - library for scoping, FOL translation, inferencing with the ERG (English Resource Grammar)
  • 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
  • Wikimeta is an API service based, establishing for a named entity a link to the LinkedData Netork. It can be used trough an on-line web form and as a web service.