Translating Wh-Questions into F-Logic Queries

In this paper we present ORAKEL, a natural language interface which trans-lates wh-questions into logical queries and evaluates them with respect to a given knowledge base. The system is in principle able to deal with arbitrary logical lan-guages and knowledge representation paradigms, i.e. relational models, frame-based models, etc. However, in this paper we present a concrete implementation based on F-Logic and Ontobroker as underlying inference engine.