Automatic Deduction and Inferencing Techniques Deliverable D6.4 (Rapporti progetti di ricerca)

Type
Label
  • Automatic Deduction and Inferencing Techniques Deliverable D6.4 (Rapporti progetti di ricerca) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • German Rigau, Piek Vossen, Eneko Agirre, Javier Alvez, Christiane Fellbaum, Montserrat Hermo, Amanda Hicks, Paqui Lucio, Andrea Marchetti (2010)
    Automatic Deduction and Inferencing Techniques Deliverable D6.4
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • German Rigau, Piek Vossen, Eneko Agirre, Javier Alvez, Christiane Fellbaum, Montserrat Hermo, Amanda Hicks, Paqui Lucio, Andrea Marchetti (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • EHU, VUA, BBAW, CNR (literal)
Titolo
  • Automatic Deduction and Inferencing Techniques Deliverable D6.4 (literal)
Abstract
  • This report describes the knowledge architecture of the KYOTO project that distinguishes three layers of knowledge: vocabularies, wordnets and a central ontology. The layers are distinguished according to the principle of the division of linguistic labor. Such a division is required to handle and structure large volumes of domain and general vocabularies and its linguistic diversity. We also define the relations between the layers and the reasoning and inferencing techniques that can be applied to each one. Finally, we also explain how they alltogether can be used for reasoning and inferencing in the KYOTO system. (literal)
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
data.CNR.it