From Natural Language Definitions to Knowledge Bases Axioms

  • Matteo Casu
  • Armando Tacchella
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6934)


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.


Description Logic Equivalent Formula Partial Translation Discourse Representation Theory Enterprise Application Integration 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Mcguinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C recommendation, W3C (2004)Google Scholar
  2. 2.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  3. 3.
    Hustadt, U., Schmidt, R.A., Georgieva, L.: A Survey of Decidable First-Order Fragments and Description Logics. JoRMiCS 1, 251–276 (2004)Google Scholar
  4. 4.
    Rector, A., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H., Wroe, C.: OWL pizzas: Practical experience of teaching OWL-DL: Common errors & common patterns. Engineering Knowledge in the Age of the SemanticWeb, 63–81 (2004)Google Scholar
  5. 5.
    Montague, R.: The proper treatment of quantification in ordinary English. In: Hintikka, K.J.J., Moravcsic, J., Suppes, P. (eds.) Approaches to Natural Language, pp. 221–242. Reidel, Dordrecht (1973)CrossRefGoogle Scholar
  6. 6.
    Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language. In: Formal Logic and Discourse Representation Theory. Studies in Linguistics and Philosophy, vol. 42. Kluwer, Dordrecht (1993)Google Scholar
  7. 7.
    McCune, W.: Prover9 and mace4 (2005-2010),
  8. 8.
    Fuchs, N., Höfler, S., Kaljurand, K., Rinaldi, F., Schneider, G.: Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines. In: Eisinger, N., Małuszyński, J. (eds.) Reasoning Web. LNCS, vol. 3564, pp. 213–250. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    Steedman, M.: The syntactic process. MIT Press, Cambridge (2000)zbMATHGoogle Scholar
  10. 10.
    Milne, D., Witten, I.: An open-source toolkit for mining wikipedia (2009)Google Scholar
  11. 11.
    Open System Architecture for Enterprise Application Integration,

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Matteo Casu
    • 1
  • Armando Tacchella
    • 1
  1. 1.Università di GenovaItaly

Personalised recommendations