Título de la tesis:
Towards a Framework to Verify Knowledge Sharing Technology
Autor/es:
Gómez-Pérez, A.
Tipo de documento:
Artículo
Universidad:
Facultad de Informática (UPM)
Departamento:
Inteligencia Artificial
Idioma:
Palabras clave:
oeg
Fecha de la defensa:
1996-01-01
Notas:
Resumen: Based on the empirical verification of bibliographic-data and other Ontolingua ontologies, this paper provides an initial framework for verifying Knowledge Sharing Technology (KST). Verification of KST refers to the engineering activity that guarantees the correctness of the definitions in an ontology, its associated software environments and documentation with respect to a frame of reference during each phase and between phases of its life cycle. Verification of the ontologies refers to building the correct ontology, and it verifies that (1) the architecture of the ontology is sound, (2) the ...
Valoración:
Clasificación por
