@inbook{74bd17ba9256437abd3ac09313b34c83,
title = "Let's talk about NLP and automated reasoning without getting grey hair",
abstract = "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.",
keywords = "knowledge representation, description logics, first-order logic, automated reasoning, (controlled) natural language",
author = "Rolf Schwitter",
year = "2009",
language = "English",
isbn = "9783865829559",
series = "MV Wissenschaft",
publisher = "Verlagshaus Monsenstein und Vannerdat",
pages = "119--126",
editor = "Simon Clematide and Manfred Klenner and Martin Volk",
booktitle = "Searching answers",
}