David Tena Cucala
My research is focused on knowledge representation through logic languages, as well as reasoning methods for such representations.
Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the 30th International Workshop on Description Logics‚ Montpellier‚ France‚ July 18−21‚ 2017. 2017.