Sökning: WFRF:(Angelov Krasimir 1978 ) >
Typeful Ontologies ...
Typeful Ontologies with Direct Multilingual Verbalization
-
- Angelov, Krasimir, 1978 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Enache, Ramona, 1985 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),University of Gothenburg
-
(creator_code:org_t)
- ISBN 9783642311741
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
- 2012
- Engelska.
-
Ingår i: 2nd Workshop on Controlled Natural Languages, CNL 2010; Marettimo Island, Sicily; Italy; 13 September 2010 through 15 September 2010. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 0302-9743 .- 1611-3349. - 9783642311741 ; 7175, s. 1-20
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://gup.ub.gu.se...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- ontologies
- type theory
- knowledge representation
- automated reasoning
- natural language generation
- knowledge representation
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas