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


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