onr:"swepub:oai:gup.ub.gu.se/150487"
Search: onr:"swepub:oai:gup.ub.gu.se/150487" > Typeful Ontologies ...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Angelov, Krasimir,1978Chalmers tekniska högskola,Chalmers University of Technology (author)
Typeful Ontologies with Direct Multilingual Verbalization
- Article/chapterEnglish2012
Publisher, publication year, extent ...
- Berlin, Heidelberg :Springer Berlin Heidelberg,2012
Numbers
- LIBRIS-ID:oai:gup.ub.gu.se/150487
- ISBN:9783642311741
- https://gup.ub.gu.se/publication/150487URI
- https://doi.org/10.1007/978-3-642-31175-8_1DOI
- https://research.chalmers.se/publication/150487URI
Supplementary language notes
- Language:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- 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.
Subject headings and genre
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
- ontologies
- type theory
- knowledge representation
- automated reasoning
- natural language generation
- knowledge representation
Added entries (persons, corporate bodies, meetings, titles ...)
- Enache, Ramona,1985Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),University of Gothenburg(Swepub:gu)xenara (author)
- Chalmers tekniska högskolaInstitutionen för data- och informationsteknik (GU) (creator_code:org_t)
Related titles
- In:2nd Workshop on Controlled Natural Languages, CNL 2010; Marettimo Island, Sicily; Italy; 13 September 2010 through 15 September 2010Berlin, Heidelberg : Springer Berlin Heidelberg7175, s. 1-200302-97431611-33499783642311741
Internet link
Find in a library
- 2nd Workshop on Controlled Natural Languages, CNL 2010; Marettimo Island, Sicily... (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Angelov, Krasimi ...
- Enache, Ramona, ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- 2nd Workshop on ...
- By the university
- University of Gothenburg
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
