• Publications
  • Influence
Reasoning on expressive description logics with arithmetic constraints
It is shown that μALCTIO, which is known to be undecidable and that subsumes ALCQIOreg, is inEXPTIME in the case of tree models, and that knowledge base reasoning, TBoxes and ABoxes, can also be decided in EXPTIME. Expand
User-Centered Data Mining Tool for Survival-Mortality Classification of Breast Cancer in Mexican-Origin Women
This work proposes a classification system based on a methodology of user-centered data mining, which has as its foundation the principles of the ISO 9241:210:2010 standard, and uses it to study the survival-mortality rate in Mexican-origin women diagnosed with breast cancer. Expand