Ian Horrocks

Ian Horrocks

male
ontology language, descriptionlogics, ontology languages, algorithm, algorithms, Oxford University Computing Laboratory
Ian Horrocks is a Professor of Computer Science at the University of Manchester in the UK. His research focuses on knowledge representation,...
Franz Baader

Franz Baader

male
computer scientist, German, TU Dresden, Knowledge representation, automated deduction, descriptionlogics
Franz Baader received his PhD in Computer Science in 1989 from the University Erlangen-Nürnberg, Germany, where he was a teaching and research a...