CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Typeful Ontologies with Direct Multilingual Verbalization

Krasimir Angelov (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)) ; Ramona Enache
2nd Workshop on Controlled Natural Languages, CNL 2010; Marettimo Island, Sicily; Italy; 13 September 2010 through 15 September 2010 (0302-9743). Vol. 7175 (2012), p. 1-20.
[Konferensbidrag, refereegranskat]

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.

Nyckelord: ontologies, type theory, knowledge representation, automated reasoning, natural language generation

Serie: Lecture Notes in Computer Science, 0302-9743. Publisher: Springer Berlin Heidelberg.

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2011-12-19. Senast ändrad 2016-05-17.
CPL Pubid: 150487


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)
Institutionen för data- och informationsteknik (GU) (GU)


Informations- och kommunikationsteknik

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

Automating the development of multilingual grammars