Joaquin Borrego Díaz
Joaquin Borrego Díaz
Profesor Titular de Universidad, Universidad de Sevilla
Verified email at
Cited by
Cited by
Foundational challenges in automated semantic web data and ontology cleaning
JA Alonso-Jimene, J Borrego-Díaz, AM Chávez-González, ...
IEEE Intelligent Systems 21 (1), 42-52, 2006
Complex concept lattices for simulating human prediction in sport
GA Aranda-Corral, J Borrego-Díaz, J Galán-Páez
Journal of Systems Science and Complexity 26 (1), 117-136, 2013
Reconciling knowledge in social tagging web services
GA Aranda-Corral, J Borrego-Díaz
International Conference on Hybrid Artificial Intelligence Systems, 383-390, 2010
Agent-mediated shared conceptualizations in tagging services
GA Aranda-Corral, J Borrego-Díaz, J Giráldez-Cru
Multimedia tools and applications 65 (1), 5-28, 2013
Towards a practical argumentative reasoning with qualitative spatial databases
JA Alonso-Jiménez, J Borrego-Díaz, AM Chávez-González, ...
International Conference on Industrial, Engineering and Other Applications …, 2003
Visual ontology cleaning: Cognitive principles and applicability
J Borrego-Díaz, AM Chávez-González
European Semantic Web Conference, 317-331, 2006
Extension of ontologies assisted by automated reasoning systems
J Borrego-Díaz, AM Chávez-González
International Conference on Computer Aided Systems Theory, 247-253, 2005
On the Phenomenological Reconstruction of Complex Systems—The Scale‐Free Conceptualization Hypothesis
GA Aranda‐Corral, J Borrego‐Díaz, J Galán‐Páez
Systems Research and Behavioral Science 30 (6), 716-734, 2013
Ontology cleaning by mereotopological reasoning
JA Alonso-Jiménez, J Borrego-Dfaz, AM Chávez-González
Proceedings. 15th International Workshop on Database and Expert Systems …, 2004
Extending attribute exploration by means of boolean derivatives
JA Alonso Jiménez, GA Aranda Corral, J Borrego Díaz, ...
CLA 2008: 6th International Conference on Concepts Lattices and Their …, 2008
A Formally Verified Prover for the Description Logic
JA Alonso, J Borrego-Díaz, MJ Hidalgo, FJ Martin-Mateos, JL Ruiz-Reina
International Conference on Theorem Proving in Higher Order Logics, 135-150, 2007
A methodology for the computer-aided cleaning of complex knowledge databases
JA Alonso-Jiménez, J Borrego-Díaz, AM Chávez-González, ...
IEEE 2002 28th Annual Conference of the Industrial Electronics Society …, 2002
Confidence-based reasoning with local temporal formal contexts
GA Aranda-Corral, JB Díaz, JG Páez
International Work-Conference on Artificial Neural Networks, 461-468, 2011
Social ontology documentation for knowledge externalization
GA Aranda-Corral, J Borrego-Díaz, A Jiménez-Mavillard
Research Conference on Metadata and Semantic Research, 137-148, 2010
Conservative retractions of propositional logic theories by means of boolean derivatives: Theoretical foundations
GA Aranda-Corral, J Borrego-Díaz, MM Fernández-Lebrón
International Conference on Intelligent Computer Mathematics, 45-58, 2009
A quasi-metric for machine learning
MA Gutiérrez-Naranjo, JA Alonso-Jiménez, J Borrego-Díaz
Ibero-American Conference on Artificial Intelligence, 193-203, 2002
Formally verified tableau-based reasoners for a description logic
MJ Hidalgo-Doblado, JA Alonso-Jiménez, J Borrego-Díaz, ...
Journal of automated reasoning 52 (3), 331-360, 2014
Mereotopological analysis of formal concepts in security ontologies
GA Aranda-Corral, J Borrego-Díaz
Computational Intelligence in Security for Information Systems 2010, 33-40, 2010
Toward semantic mobile web 2.0 through multiagent systems
GA Aranda-Corral, J Borrego-Díaz, F Gómez-Marín
KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2009
A model of three-way decisions for Knowledge Harnessing
GA Aranda-Corral, J Borrego-Díaz, J Galán-Páez
International Journal of Approximate Reasoning 120, 184-202, 2020
The system can't perform the operation now. Try again later.
Articles 1–20