ORAKEL: A Natural Language Interface to an F-Logic Knowledge Base

In this paper we present ORAKEL, a natural language interface which translates wh-questions into logical queries and evaluates them with respect to a given knowledge base. For this purpose, ORAKEL makes use of a compositional approach in order to construct the semantics of a wh-question. The system is in principle able to deal with arbitrary logical languages 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.