Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Subject "Lattice categorical theory"
Now showing items 1-1 of 1
-
Presentation
On the Use of Automated Reasoning Systems in Ontology Integration.
(CEUR-WS, 2009)Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the ...