| 2008 |
|---|
| 14 | EE | Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies.
URSW (LNCS Vol.) 2008: 315-329 |
| 2007 |
|---|
| 13 | EE | Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web.
EUROCAST 2007: 305-312 |
| 12 | EE | José-Antonio Alonso,
Joaquín Borrego-Díaz,
María-José Hidalgo,
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina:
A Formally Verified Prover for the ALC Description Logic.
TPHOLs 2007: 135-150 |
| 2006 |
|---|
| 11 | EE | Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Visual Ontology Cleaning: Cognitive Principles and Applicability.
ESWC 2006: 317-331 |
| 10 | EE | José A. Alonso-Jiménez,
Joaquín Borrego-Díaz,
Antonia M. Chávez-González,
Francisco-Jesús Martín-Mateos:
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning.
IEEE Intelligent Systems 21(1): 42-52 (2006) |
| 2005 |
|---|
| 9 | EE | Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Extension of Ontologies Assisted by Automated Reasoning Systems.
EUROCAST 2005: 247-253 |
| 8 | | Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy.
ISWC-URSW 2005: 56-66 |
| 7 | | José A. Alonso-Jiménez,
Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Logic Databases and Inconsistency Handling.
Encyclopedia of Database Technologies and Applications 2005: 336-340 |
| 2004 |
|---|
| 6 | EE | José A. Alonso-Jiménez,
Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Ontology Cleaning by Mereotopological Reasoning.
DEXA Workshops 2004: 132-137 |
| 2003 |
|---|
| 5 | EE | Miguel A. Gutiérrez-Naranjo,
José A. Alonso-Jiménez,
Joaquín Borrego-Díaz:
Generalizing Programs vis Subsumption.
EUROCAST 2003: 115-126 |
| 4 | EE | José A. Alonso-Jiménez,
Joaquín Borrego-Díaz,
Antonia M. Chávez-González,
Miguel A. Gutiérrez-Naranjo,
Jorge D. Navarro-Marín:
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases.
IEA/AIE 2003: 789-798 |
| 2002 |
|---|
| 3 | EE | Miguel A. Gutiérrez-Naranjo,
José A. Alonso-Jiménez,
Joaquín Borrego-Díaz:
A Quasi-Metric for Machine Learning.
IBERAMIA 2002: 193-203 |
| 2000 |
|---|
| 2 | EE | Miguel A. Gutiérrez-Naranjo,
José A. Alonso-Jiménez,
Joaquín Borrego-Díaz:
A Topological Study of the Upward Refinement Operators in ILP.
ILP Work-in-progress reports 2000 |
| 1996 |
|---|
| 1 | | Joaquín Borrego-Díaz,
Alejandro Fernández-Margarit,
Mario J. Pérez-Jiménez:
On Overspill Principles and Axiom Schemes for Bounded Formulas.
Math. Log. Q. 42: 341-348 (1996) |
