Geburtsdatum | Dienstag, 11. März 1958 |
Sternzeichen | |
Beschreibung | Ian Robert Horrocks FRS ist Professor für Informatik an der Universität von Oxford im Vereinigten Königreich und Fellow des Oriel College, Oxford. Seine Forschung konzentriert sich auf Wissensdarstellung und Schlussfolgerungen, insbesondere Ontologiesprachen, Beschreibungslogik und optimierte Tableaux-Entscheidungsverfahren. |
