Sökning: onr:"swepub:oai:gup.ub.gu.se/150487" >
Typeful Ontologies ...
-
Angelov, Krasimir,1978Chalmers tekniska högskola,Chalmers University of Technology
(författare)
Typeful Ontologies with Direct Multilingual Verbalization
- Artikel/kapitelEngelska2012
Förlag, utgivningsår, omfång ...
-
Berlin, Heidelberg :Springer Berlin Heidelberg,2012
Nummerbeteckningar
-
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
Kompletterande språkuppgifter
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
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 och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
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
(författare)
-
Chalmers tekniska högskolaInstitutionen för data- och informationsteknik (GU)
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i: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
Internetlänk
Hitta via bibliotek
Till lärosätets databas