Abstract
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.
Keywords
- 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mcguinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C recommendation, W3C (2004)
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)
Hustadt, U., Schmidt, R.A., Georgieva, L.: A Survey of Decidable First-Order Fragments and Description Logics. JoRMiCS 1, 251–276 (2004)
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)
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)
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)
McCune, W.: Prover9 and mace4 (2005-2010), http://www.cs.unm.edu/~mccune/prover9/
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)
Steedman, M.: The syntactic process. MIT Press, Cambridge (2000)
Milne, D., Witten, I.: An open-source toolkit for mining wikipedia (2009)
Open System Architecture for Enterprise Application Integration, http://www.mimosa.org/?q=resources/specs/osa-eai-v321
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Casu, M., Tacchella, A. (2011). From Natural Language Definitions to Knowledge Bases Axioms. In: Pirrone, R., Sorbello, F. (eds) AI*IA 2011: Artificial Intelligence Around Man and Beyond. AI*IA 2011. Lecture Notes in Computer Science(), vol 6934. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23954-0_45
Download citation
DOI: https://doi.org/10.1007/978-3-642-23954-0_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23953-3
Online ISBN: 978-3-642-23954-0
eBook Packages: Computer ScienceComputer Science (R0)