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
30 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
22 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
17 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
15 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
14 2003 Visual ontology cleaning: Cognitive principles and applicability J Borrego-Díaz, AM Chávez-González
European Semantic Web Conference, 317-331, 2006
11 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
11 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
10 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
10 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
9 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
9 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
9 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
8 2011 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
7 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
7 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
6 2014 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
6 2010 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
6 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
6 2009 A logic-algebraic tool for reasoning with Knowledge-Based Systems JA Alonso-Jiménez, GA Aranda-Corral, J Borrego-Díaz, ...
Journal of logical and algebraic methods in programming 101, 88-109, 2018
5 2018