Typeful Ontologies with Direct Multilingual Verbalization
Paper i proceeding, 2012

We have developed a methodology for the 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.

knowledge representation

automated reasoning

ontologies

natural language generation

type theory

Författare

Krasimir Angelov

Chalmers, Data- och informationsteknik, Datavetenskap

Ramona Enache

Göteborgs universitet

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 7175 1-20

Styrkeområden

Informations- och kommunikationsteknik

Fundament

Grundläggande vetenskaper

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1007/978-3-642-31175-8_1

ISBN

978-3-642-31174-1