Difference between revisions of "Semantics software for English"
Jump to navigation
Jump to search
(wikilink was broken due to double redirect) |
|||
| (11 intermediate revisions by 6 users not shown) | |||
| Line 1: | Line 1: | ||
| − | '''[[Tools and Software]] - Semantics''' | + | '''[[Tools and Software for English]] - Semantics''' |
For languages other than English, see [[List of resources by language]]. | 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 --> | ||
| − | |||
*[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. | ||
*[http://www.intellexer.com/ Intellexer - Natural Language Searching Technologies] | *[http://www.intellexer.com/ Intellexer - Natural Language Searching Technologies] | ||
| − | *[http://www. | + | *[http://www.lambdacalculator.com 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 17:56, 31 March 2015
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.