LanguageBasedInference
From OpenCog
See a simple example of how RelEx and PLN can be chained together in OpenCog to do some nice logical inference...
http://www.opencog.org/wiki/Image:RelEx_PLN_Example_Inference.doc
http://www.opencog.org/wiki/Image:RelEx_PLN_Example_Inference.pdf