Ian Horrocks とは

イアンロバートHorrocks FRSは、英国のオックスフォード大学のコンピュータサイエンス教授であり、オックスフォード大学のオリエルカレッジのフェローです。彼の研究は、知識表現と推論、特にオントロジー言語、記述ロジック、最適化されたtableaux決定手続きに焦点を当てています。