Semantics software for English - Revision history

Champoll at 00:56, 1 April 2015

2015-04-01T00:56:07Z

← Older revision		Revision as of 00:56, 1 April 2015
Line 9:		Line 9:
	*[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.~~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.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://www.semantilog.org/pypes.html PyPES] - library for scoping, FOL translation, inferencing with the ERG (English Resource Grammar)

Pdturney at 18:20, 7 September 2012

2012-09-07T18:20:54Z

← Older revision		Revision as of 18:20, 7 September 2012
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]].

Pdturney: Reverted edits by Creek (talk) to last revision by Echarton

2012-06-25T11:18:48Z

Reverted edits by Creek (talk) to last revision by Echarton

← Older revision		Revision as of 11:18, 25 June 2012
Line 11:		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] - ~~[http://www.thai-sbobet.com sbobet]~~library for scoping, FOL translation, inferencing with the ERG (English Resource Grammar)		*[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]

Creek at 09:29, 25 June 2012

2012-06-25T09:29:27Z

← Older revision		Revision as of 09:29, 25 June 2012
Line 11:		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://www.semantilog.org/pypes.html PyPES] - [http://www.thai-sbobet.com sbobet]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]

Echarton: Wikimeta semantic annotator

2011-11-25T14:42:15Z

Wikimeta semantic annotator

← Older revision		Revision as of 14:42, 25 November 2011
Line 16:		Line 16:
	*[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 -->		<!-- Please keep this list in alphabetical order -->

Roxanne at 20:09, 18 June 2010

2010-06-18T20:09:49Z

← Older revision		Revision as of 20:09, 18 June 2010
Line 5:		Line 5:
	<!-- 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 ~~a simple~~ example of English-language understanding with non-trivial syntax, semantics and pragmatics.		*[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.

Pdturney at 02:45, 18 June 2010

2010-06-18T02:45:17Z

← Older revision		Revision as of 02:45, 18 June 2010
Line 2:		Line 2:

	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.~~semantilog~~.~~org~~/~~pypes~~.~~html PyPES~~] - ~~library for scoping~~, ~~FOL translation, inferencing with the ERG (English Resource Grammar)~~		*[http://www.yorku.ca/jmason/asdindex.htm/ CardWorld1] is a simple 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 11:		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.yorku.ca/jmason/asdindex.htm/ CardWorld1] is a simple example of English-~~language understanding with non~~-~~trivial syntax, semantics and pragmatics.~~
			<!-- Please keep this list in alphabetical order -->

	[[Category:Semantics]]		[[Category:Semantics]]
	[[Category:Software]]		[[Category:Software]]
	[[Category:Resources for English]]		[[Category:Resources for English]]

Roxanne at 23:46, 17 June 2010

2010-06-17T23:46:59Z

← Older revision		Revision as of 23:46, 17 June 2010
Line 15:		Line 15:
	*[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.yorku.ca/jmason/asdindex.htm] ~~CardWorld1~~ is a simple example of English-language understanding with non-trivial syntax, semantics and pragmatics.		*[http://www.yorku.ca/jmason/asdindex.htm/ CardWorld1] is a simple example of English-language understanding with non-trivial syntax, semantics and pragmatics.
	[[Category:Semantics]]		[[Category:Semantics]]
	[[Category:Software]]		[[Category:Software]]
	[[Category:Resources for English]]		[[Category:Resources for English]]

Roxanne at 23:45, 17 June 2010

2010-06-17T23:45:09Z

← Older revision		Revision as of 23:45, 17 June 2010
Line 15:		Line 15:
	*[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.yorku.ca/jmason/asdindex.htm] CardWorld1 is a simple example of English-language understanding with non-trivial syntax, semantics and pragmatics.
	[[Category:Semantics]]		[[Category:Semantics]]
	[[Category:Software]]		[[Category:Software]]
	[[Category:Resources for English]]		[[Category:Resources for English]]

Rbergmair at 08:35, 29 September 2009

2009-09-29T08:35:17Z

← Older revision		Revision as of 08:35, 29 September 2009
Line 5:		Line 5:

	*[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.semantilog.org/pypes.html PyPES] - library for scoping, FOL translation, inferencing with the ERG (English Resource Grammar)
	*[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.