이언 호록스

Ian Horrocks
영국 왕립 공군 헬리콥터 조종사는 이안 호록스(RAF 장교)를 참조한다.
이언 호록스

FRS
Ian Horrocks mg 7439.jpg
이언 호록스
태어난
이언 로버트 호록스

(1958-03-11) 1958년 3월 11일 (63세)[1]
리버풀
국적영국의
모교맨체스터 대학교(BSC, MSC, 박사)
로 알려져 있다.
수상BCS 러브레이스 메달(2020).[3]로저 니덤상(2005)[4]
과학 경력
필드
기관
논문설명 로직을 위한 테이블보 의사 결정 절차 최적화 (1997)
웹사이트cs.ox.ac.uk/ian.horrocks

이언 로버트 호록스 FRS는[6] 영국 옥스퍼드 대학교의 컴퓨터 과학 교수로 옥스퍼드 오릴 칼리지의 펠로우다.[7]그의 연구는[5][8] 지식 표현과 추론, 특히 온톨로지 언어,[9] 기술 논리 및 최적화된 탁상적 의사결정 절차에 초점을 맞추고 있다.[10][11][12]

교육

호록스는 맨체스터 대학의 컴퓨터 과학 학부에서 과학 학사(BSC), 과학 석사(MSC),[13] 박사[14] 학위를 마쳤다.

연구 및 경력

호록스는 몇 년 동안 강사와 수석 강사, 독자로 일하다가 2008년 옥스퍼드 대학교로 옮겼다.매우 표현력 있는 서술 논리학에 대한 그의 탁상 추론에 관한 연구는 Racer, FaCT++,[15] HermiT[16][17][18], Pellet을 포함하여 오늘날 사용되고 있는 대부분의 서술 논리 추론 시스템의 기초를 형성했다.[19]

호록스는 오일(OIL)과 DAML+OIL 온톨로지 언어의 개발을 공동으로 담당했으며, 웹 온톨로지 언어(OWL)의 개발에 중심적인 역할을 했다.이러한 언어와 관련 도구는 오픈 바이오메디컬 [20]온톨로지스(OBO), 미국 국립 암 연구소(NCI), 유엔 식량 농업 기구(FAO), 월드 와이드 웹 컨소시엄(W3C), 그리고 다양한 주요 기업과 정부 기관에서 사용되어 왔다.[6]

그의 연구는 부분적으로 공학 물리 과학 연구 위원회(EPSRC)의 자금 지원을 받고 있다.[22]

호록스는 현재 Journal of Web Semantics의[23] 편집장이며, 국제 시맨틱 웹 컨퍼런스(ISWC)의 프로그램 의장을 역임했다.[citation needed]

수상 및 명예

2020년 호록스는 추리 시스템의 발전에 기여한 공로를 인정받아 BCS 러브레이스 메달을 수여받았다.[3]

호록스는 2011년[6] 영국 왕립학회(FRS) 회원으로 선출됐으며 2005년 영국 컴퓨터학회(BCS) 로저 니덤상을 수상했다.[4]

옥스퍼드 시맨틱 테크놀로지스

호록스는 다른 두 명의 옥스퍼드 교수와 함께 2017년 옥스퍼드 대학 기술 스핀아웃 옥스퍼드 시멘틱 테크놀로지스 Ltd.를 공동 설립했다.산업과 그 과정에서 그의 연구를 적용하기 위한 목적은 고성능 지식 그래프와 의미론적 추론자인 RDFox-이[24] 독특한 기억 방식과 학문적 뒷받침으로 구분되는 것을 만들었다.

참조

  1. ^ Anon (2014). "Horrocks, Prof. Ian Robert". Who's Who. ukwhoswho.com (online edition via Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc. doi:10.1093/ww/9780199540884.013.U250633. (구독 또는 영국 공공도서관 회원 필요) (필요한 경우)
  2. ^ Grosof, B. N.; Horrocks, I.; Volz, R.; Decker, S. (2003). "Description logic programs". Proceedings of the twelfth international conference on World Wide Web – WWW '03. p. 48. doi:10.1145/775152.775160. ISBN 978-1581136807. S2CID 6381308.
  3. ^ a b "BCS Lovelace Medal 2020: Reasoning Systems BCS". www.bcs.org. Retrieved 1 October 2021.
  4. ^ a b 이언 호록스 교수, 영국 컴퓨터 협회를 통해 로저 니덤 수상자
  5. ^ a b 이언 호록스 구글 스콜라(Google Scholar)가 지수화한 출판물
  6. ^ a b c Anon (2011). "Professor Ian Horrocks". royalsociety.org. Royal Society. 앞의 문장 중 하나 이상에는 royalsociety.org 웹사이트의 텍스트가 포함되어 있다.

    "동료 프로필 페이지에 '생물학'이라는 제목으로 게시된 모든 텍스트는 Creative Commons Attribution 4.0 International License." --Royal Society 약관, 조건 및 정책(자료 2016-11-11)
  7. ^ http://www.cs.ox.ac.uk/people/ian.horrocks/ 옥스퍼드 대학의 이언 호록스 홈페이지
  8. ^ DBLP 서지학 서버의 이언 호록스
  9. ^ Horrocks, I.; Patel-Schneider, Peter; van Harmelen, Frank (2003). "From SHIQ and RDF to OWL: The making of a Web Ontology Language" (PDF). Web Semantics: Science, Services and Agents on the World Wide Web. 1: 7–26. CiteSeerX 10.1.1.2.7039. doi:10.1016/j.websem.2003.07.001.
  10. ^ 이안 호록스는 스코푸스 도서목록 데이터베이스에 의해 색인된 출판물을 발간한다.(필요한 경우)
  11. ^ ACM Digital Library의 Ian Horrocks 저자 프로필 페이지
  12. ^ Atzenbeck, C. (2009). "Interview with Ian Horrocks". ACM SIGWEB Newsletter: 1–4. doi:10.1145/1592394.1592396. S2CID 7868854.
  13. ^ Horrocks, Ian Robert (1995). A comparison of two terminological knowledge representation systems (MSc thesis). University of Manchester. Archived from the original on 23 December 2012.
  14. ^ Horrocks, Ian Robert (1997). Optimising tableaux decision procedures for description logics (PDF) (PhD thesis). University of Manchester. OCLC 644109415. Copac 36615243.
  15. ^ Tsarkov, D.; Horrocks, I. (2006). "FaCT++ Description Logic Reasoner: System Description" (PDF). Automated Reasoning. Lecture Notes in Computer Science. Vol. 4130. pp. 292–297. CiteSeerX 10.1.1.65.2672. doi:10.1007/11814771_26. ISBN 978-3-540-37187-8.
  16. ^ "HermiT Reasoner: Home". Retrieved 2 July 2011.
  17. ^ B. Motik, R. Shearer and I. Horrocks (2009). "Hypertableau Reasoning for Description Logics" (PDF). Journal of Artificial Intelligence Research. 36: 165–228. doi:10.1613/jair.2811. S2CID 190609.
  18. ^ Motik, B.; Cuenca Grau, B.; Sattler, U. (2008). "Structured objects in owl: representation and reasoning" (PDF). Proceedings of the 17th international conference on World Wide Web – WWW '08. p. 555. doi:10.1145/1367497.1367573. ISBN 9781605580852. S2CID 11221528.
  19. ^ Sirin, E.; Parsia, B.; Grau, B. C.; Kalyanpur, A.; Katz, Y. (2007). "Pellet: A practical OWL-DL reasoner" (PDF). Web Semantics: Science, Services and Agents on the World Wide Web. 5 (2): 51–53. doi:10.1016/j.websem.2007.03.004. Archived from the original (PDF) on 27 June 2007.
  20. ^ Golbreich, C.; Horridge, M.; Horrocks, I.; Motik, B.; Shearer, R. (2007). "OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences" (PDF). The Semantic Web. Lecture Notes in Computer Science. Vol. 4825. pp. 169–182. doi:10.1007/978-3-540-76298-0_13. ISBN 978-3-540-76297-3.
  21. ^ World Wide Web Consortium(W3C)에서 www-webont-wg 메일링 리스트에 대한 Ian Horrocks 소개
  22. ^ 영국 정부 연구 보조금, 영국 연구 위원회를 통해 Ian Horrocks에게 수여된 연구 보조금
  23. ^ Ian Horrocks는 2012년 7월 1일 Journal of Web Semantics의 편집장을 임명했다.
  24. ^ "Product". www.oxfordsemantic.tech. Retrieved 1 October 2021.