transparent gif

 

Ej inloggad.

Göteborgs universitets publikationer

Typeful Ontologies with Direct Multilingual Verbalization

Författare och institution:
Krasimir Angelov (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers), Chalmers); Ramona Enache (Institutionen för data- och informationsteknik (GU))
Publicerad i:
2nd Workshop on Controlled Natural Languages, CNL 2010; Marettimo Island, Sicily; Italy; 13 September 2010 through 15 September 2010, 7175 s. 1-20
ISBN:
978-3-642-31174-1
ISSN:
0302-9743
Publikationstyp:
Konferensbidrag, refereegranskat
Publiceringsår:
2012
Språk:
engelska
Fulltextlänk:
Sammanfattning (abstract):
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.
Ämne (baseras på Högskoleverkets indelning av forskningsämnen):
NATURVETENSKAP ->
Data- och informationsvetenskap ->
Datavetenskap (datalogi) ->
Datalogi
Nyckelord:
ontologies, type theory, knowledge representation, automated reasoning, natural language generation
Chalmers styrkeområden:
Informations- och kommunikationsteknik
Chalmers fundament:
Grundläggande vetenskaper
Ytterligare information:
Serie: Lecture Notes in Computer Science, 0302-9743. Publisher: Springer Berlin Heidelberg.
Postens nummer:
150487
Ingår i post nr:
Posten skapad:
2011-12-19 18:40
Posten ändrad:
2016-05-17 15:56

Visa i Endnote-format

Göteborgs universitet • Tel. 031-786 0000
© Göteborgs universitet 2007