Ian Horrocks
Ian Robert Horrocks is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.
Provided by Wikipedia
1
by Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting
Published 2020
Published 2020
Institutions:
Thư viện Trường Đại học Đà Lạt
Get full textGet full text