Skip to main content

David Tena Cucala

Personal photo - David Tena Cucala

David Jaime Tena Cucala

Research Associate

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

My research is focused on knowledge representation and automated reasoning. In my D.Phil thesis, I developed and implemented a "pay-as-you-go" reasoning algorithm for the logic SROIQ, which underpins the OWL 2 DL stantard for the Semantic Web. I am currently exploring the connections between well-known fragments of logic and neural networks, and also studying logics for temporal reasoning.

Selected Publications

View AllManage publications

Activities