http://www.researchonline.mq.edu.au/vital/access/services/Feed ${session.getAttribute("locale")} 5 http://www.researchonline.mq.edu.au/vital/access/manager/Repository/mq:19684 Progress in the field of knowledge-based natural language processing is closely related to progress in the field of automated reasoning. Instead of focusing on full natural languages that are probably the most expressive and flexible knowledge representation languages that exist, I will argue that it is a better strategy to look at well-defined subsets of natural language that have the same expressivity as the formal languages that automated theorem provers can process. In particular, I will look at the two description logic reasoners CEL and RacerPro and the first-order logic theorem prover and model-generator EKRHyper and discuss what subsets of natural language can be processed and what kind of inferences are supported by these tools. 2012-06-07T18:11:52.855Z ]]> http://www.researchonline.mq.edu.au/vital/access/manager/Repository/mq:11898 Many exciting things happened since I left the ExtrAns project at the University of Zurich. In this paper I present a very brief journal of the research that derived from my work at Zurich. My work combined a study of several representations of questions and answer sentences with the development of procedures to and the answer. The culmination of this work was the definition of the Logical Graphs (LGs), which are graph representations derived from ExtrAns' original Minimal Logical Forms (MLFs), and the development of a method for the automatic learning of question-answer patterns based on LGs. I hope the reader will enjoy reading this journey of ideas. 2011-04-15T06:06:48.370Z ]]>