Guillermo Molero

Reasoning on expressive description logics with arithmetic constraints

2016

Description logics (DL) is a well-known knowledge representation formalism. DL have been applied as reasoning framework in diverse domains, including the Semantic Web and Context-Aware Systems. It is an open question whether or not the …