Skip to main content

Typeful Ontologies with Direct Multilingual Verbalization

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNAI,volume 7175)

Abstract

We have developed a methodology for representation of ontologies in a strictly typed language with dependent types. The methodology is supported by an experiment where we translated SUMO (Suggested Upper-Merged Ontology) to GF (Grammatical Framework). The representation of SUMO in GF preserves the expressivity of the original ontology, adding to this the advantages of a type system and built-in support for natural language generation. SUMO is the largest open-source ontology describing over 10,000 concepts and the relations between them, along with a number of first-order axioms, which are further on used in performing automated reasoning on the ontology. GF is a type-theoretical grammar formalism mainly used for natural language applications. Through the logical framework that it incorporates, GF allows a consistent ontology representation, and thanks to its grammatical features the ontology is directly verbalized in a number of controlled natural languages.

Keywords

  • ontologies
  • type theory
  • knowledge representation
  • automated reasoning
  • natural language generation

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ganesereth, M.R., Fikes, R.E.: Knowledge interchange format. Technical Report Logic-92-1, Stanford University (June 1992)

    Google Scholar 

  2. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL web ontology language reference (2009)

    Google Scholar 

  3. Cycorp: The syntax of CycL (2002)

    Google Scholar 

  4. Van Renssen, A.: Gellish: A Generic Extensible Ontological Language. PhD thesis, Delft University, PhD thesis (2005)

    Google Scholar 

  5. Niles, I., Pease, A.: Towards a standard upper ontology. In: FOIS 2001: Proceedings of the International Conference on Formal Ontology in Information Systems, pp. 2–9. ACM, New York (2001)

    CrossRef  Google Scholar 

  6. Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. The Journal of Functional Programming 14(2), 145–189 (2004)

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. Martin-Löf, P.: Constructive mathematics and computer programming. In: Cohen, Los, Pfeiffer, Podewski (eds.) Logic, Methodology and Philosophy of Science VI, pp. 153–175. North-Holland, Amsterdam (1982)

    CrossRef  Google Scholar 

  8. Ranta, A.: The GF resource grammar library. Linguistic Issues in Language Technology 2(2) (2009)

    Google Scholar 

  9. Angelov, K., Bringert, B., Ranta, A.: PGF: A Portable Run-Time Format for Type-Theoretical Grammars. Journal of Logic, Language and Information (2009)

    Google Scholar 

  10. Ljunglöf, P., Amores, G., Cooper, R., Hjelm, D., Lemon, O., Manchin, P., Perez, G., Ranta, A.: Multimodal Grammar Library, TALK. Talk and Look: Tools for Ambient Linguistic Knowledge. IST-507802. Deliverable 1.2b (2006)

    Google Scholar 

  11. Caprotti, O.: WebALT! Deliver Mathematics Everywhere. In: Proceedings of SITE 2006, Orlando, March 20-24 (2006)

    Google Scholar 

  12. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The key tool. Technical report in computing science no. 2003-5, Department of Computing Science, Chalmers University and Göteborg University, Göteborg, Sweden (2003)

    Google Scholar 

  13. MOLTO - Multilingual Online Translation. European Project (2010-2012)

    Google Scholar 

  14. Pease, A., Sutcliffe, G.: First order reasoning on a large ontology. In: Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning on Large Theories, ESARLT (2007)

    Google Scholar 

  15. Sutcliffe, G.: The TPTP problem library and associated infrastructure. Journal of Automated Reasoning 43, 337–362 (2009) 10.1007/s10817-009-9143-8

    CrossRef  MATH  Google Scholar 

  16. Pease, A.: The sigma ontology development environment. Working Notes of the IJCAI 2003 Workshop on Ontology and Distributed Systems, vol. 71 (2003)

    Google Scholar 

  17. Trac, S., Sutcliffe, G., Pease, A.: Integration of the tptpworld into sigmakee. In: Proceedings of IJCAR 2008 Workshop on Practical Aspects of Automated Reasoning (PAAR 2008), vol. 373 (2009)

    Google Scholar 

  18. Martin-Löf, P.: A theory of types (1971) (unpublished)

    Google Scholar 

  19. Girard, J.Y.: Interpretation fonctionnelle et elimination des coupures de l’arithmetique d’ordre superieur, Paris (1972)

    Google Scholar 

  20. W3C: Named graphs (2004)

    Google Scholar 

  21. Russell, B.: Principles of Mathematics. Cambridge University Press, Cambridge (2011)

    Google Scholar 

  22. Ranta, A.: Structures grammaticales dans le français mathématique. Mathématiques, informatique et Sciences Humaines 138, 139, 5–56, 5–36 (1997)

    Google Scholar 

  23. Slagle, J.R.: Automatic theorem proving with built-in theories including equality, partial ordering, and sets. J. ACM 19, 120–135 (1972)

    CrossRef  MathSciNet  MATH  Google Scholar 

  24. Schulz, S.: E - a brainiac theorem prover (2002)

    Google Scholar 

  25. Ramachandran, D., Reagan, P., Goolsbey, K.: First-orderized researchcyc: Expressivity and efficiency in a common-sense ontology. Papers from the AAAI Workshop on Contexts and Ontologies: Theory, Practice and Applications (2005)

    Google Scholar 

  26. Bringert, B., Angelov, K., Ranta, A.: Grammatical framework web service. In: EACL (Demos), 9–12 (2009)

    Google Scholar 

  27. Schwitter, R., Ljungberg, A., Hood, D.: ECOLE — a look-ahead editor for a controlled language. In: Proceedings of EAMT-CLAW 2003, pp. 141–150 (2003)

    Google Scholar 

  28. Lüttich, K.: Development of Structured Ontologies in CASL. PhD thesis, University of Bremen, PhD thesis (2007)

    Google Scholar 

  29. Bateman, J.A.: Enabling technology for multilingual natural language generation: the kpml development environment. Nat. Lang. Eng. 3(1), 15–55 (1997)

    CrossRef  Google Scholar 

  30. Baumgartner, P., Suchanek, F.M.: Automated reasoning support for sumo/kif (2005); (manuscript, Max-Planck Institute for Computer Science)

    Google Scholar 

  31. Wernhard, C.: System Description: KRHyper. Fachberichte Informatik 14-2003 (2003)

    Google Scholar 

  32. Fiedler, A.: Natural Language Proof Explanation. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 342–363. Springer, Heidelberg (2005)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Angelov, K., Enache, R. (2012). Typeful Ontologies with Direct Multilingual Verbalization. In: Rosner, M., Fuchs, N.E. (eds) Controlled Natural Language. CNL 2010. Lecture Notes in Computer Science(), vol 7175. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31175-8_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31175-8_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31174-1

  • Online ISBN: 978-3-642-31175-8

  • eBook Packages: Computer ScienceComputer Science (R0)