Ponencia
A methodology for the computer-aided cleaning of complex knowledge databases
Autor/es | Alonso Jiménez, José Antonio
Borrego Díaz, Joaquín Chávez González, Antonia María Gutiérrez Naranjo, Miguel Ángel Navarro Marín, Jorge D. |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2002 |
Fecha de depósito | 2018-06-11 |
Publicado en |
|
ISBN/ISSN | 0-7803-7474-6 |
Resumen | In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical information systems), classical methods for detecting anomalies can be inadequate. In this paper ... In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical information systems), classical methods for detecting anomalies can be inadequate. In this paper the use of an automated theorem prover to detect anomalies in knowledge bases within a complex ontology is proposed. The authors argue that it will need to integrate such systems in some intelligent agents. The loss of real-time execution in some cases. is discussed with examples. |
Agencias financiadoras | Ministerio de Ciencia y Tecnología (MCYT). España Junta de Andalucía |
Identificador del proyecto | TIC 2000-1368-C03-02
TIC 137 |
Cita | Alonso Jiménez, J.A., Borrego Díaz, J., Chávez González, A.M., Gutiérrez Naranjo, M.Á. y Navarro Marín, J.D. (2002). A methodology for the computer-aided cleaning of complex knowledge databases. En IECON 2002: IEEE 2002 28th Annual Conference of the Industrial Electronics Society (1806-1811), Sevilla, Spain: IEEE Computer Society. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
2002-IECON (1).pdf | 394.8Kb | [PDF] | Ver/ | |