From Natural Language Definitions to Knowledge Bases Axioms

In this paper we propose to assist ontology development in the case of simple dictionary-like definitions discussing a system which translates natural language definitions into logical formulas and providing a partial translation from first-order formulas into Description Logics formulas. We compared our approach with other existing state-of-the-art tools using different sets of dictionary-like sentences, obtaining some preliminary but encouraging results