stringtranslate.com

Ian Horrocks

Ian Robert Horrocks FRS [6] es profesor de informática en la Universidad de Oxford en el Reino Unido y miembro del Oriel College de Oxford . [7] Su investigación [3] [8] [9] se centra en la representación y el razonamiento del conocimiento , en particular los lenguajes ontológicos , [10] la lógica descriptiva y los procedimientos de decisión de tablas optimizadas . [11] [12] [13]

Educación

Horrocks completó su Licenciatura en Ciencias (BSc), Maestría en Ciencias (MSc) [14] y Doctorado [15] en el Departamento de Ciencias de la Computación de la Universidad de Manchester . [4]

Investigación y carrera

Después de varios años como profesor , conferenciante principal, lector y luego profesor en Manchester, Horrocks se trasladó a la Universidad de Oxford en 2008. Su trabajo sobre razonamiento de tablas para lógicas descriptivas muy expresivas ha formado la base de la mayoría de los sistemas de razonamiento de lógica descriptiva en uso hoy en día, incluidos Racer, FaCT++, [16] HermiT [17] [18] [19] y Pellet. [20]

Horrocks fue responsable conjunto del desarrollo de los lenguajes de ontología OIL y DAML+OIL , y desempeñó un papel central en el desarrollo del lenguaje de ontología web (OWL). Estos lenguajes y herramientas asociadas han sido utilizados por el Consorcio de Ontologías Biomédicas Abiertas (OBO) [21] , el Instituto Nacional del Cáncer (NCI) en Estados Unidos, la Organización de las Naciones Unidas para la Alimentación y la Agricultura (FAO), el Consorcio World Wide Web (W3C) [22] y una variedad de importantes corporaciones y agencias gubernamentales. [6]

Su investigación está financiada en parte por el Consejo de Investigación en Ingeniería y Ciencias Físicas (EPSRC). [23]

Horrocks se desempeñó como editor en jefe de Journal of Web Semantics desde 2012 [24] hasta fines de 2022. Junto con los otros editores en jefe en ese momento, renunció a su puesto en la revista Elsevier y se convirtió en editor en jefe de la recién fundada revista de acceso abierto Transactions on Graph Data and Knowledge . [25] Horrocks también se desempeñó como presidente del programa de la 1.ª Conferencia Internacional de Web Semántica (ISWC) en 2002 [26] y como presidente general de ISWC 2010. [27]

Premios y honores

En 2020, Horrocks recibió la Medalla BCS Lovelace en reconocimiento a su importante contribución al avance de los sistemas de razonamiento . [1]

Horrocks fue elegido miembro de la Royal Society (FRS) en 2011 [6] y ganó el premio Roger Needham de la British Computer Society (BCS) en 2005. [2]

Tecnologías semánticas de Oxford

En 2017, Horrocks cofundó la spin-off universitaria Oxford Semantic Technologies Limited [28] con dos de sus colegas: Bernardo Cuenca Grau y Boris Motik. [29]

Referencias

  1. ^ ab "Medalla BCS Lovelace 2020: Sistemas de razonamiento | BCS". bcs.org . Consultado el 1 de octubre de 2021 .
  2. ^ ab Profesor Ian Horrocks, ganadores del premio Roger Needham, a través de la British Computer Society
  3. ^ Publicaciones de Ian Horrocks indexadas por Google Scholar
  4. ^ ab Anon (2014). "Horrocks, Prof. Ian Robert" . Who's Who (edición en línea a través de Oxford University Press  ed.). A & C Black. doi :10.1093/ww/9780199540884.013.U250633. (Se requiere suscripción o membresía a una biblioteca pública del Reino Unido).
  5. ^ Grosof, BN; Horrocks, I.; Volz, R.; Decker, S. (2003). "Programas de lógica de descripción". Actas de la duodécima conferencia internacional sobre la World Wide Web – WWW '03 . p. 48. doi :10.1145/775152.775160. ISBN 978-1581136807.S2CID6381308  .​
  6. ^ abc Anónimo (2011). "Profesor Ian Horrocks". royalsociety.org . Royal Society .Una o más de las oraciones anteriores incorporan texto del sitio web royalsociety.org donde:

    “Todo el texto publicado bajo el título 'Biografía' en las páginas de perfil de los miembros está disponible bajo la licencia Creative Commons Attribution 4.0 International License ”. --Términos, condiciones y políticas de la Royal Society en Wayback Machine (archivado el 11 de noviembre de 2016)

  7. ^ www.cs.ox.ac.uk/people/ian.horrocks
  8. ^ Publicaciones de Ian Horrocks de Europa PubMed Central
  9. ^ Ian Horrocks en el servidor de bibliografía DBLP
  10. ^ Horrocks, I.; Patel-Schneider, Peter; van Harmelen, Frank (2003). "De SHIQ y RDF a OWL: la creación de un lenguaje de ontología web" (PDF) . Semántica web: ciencia, servicios y agentes en la World Wide Web . 1 : 7–26. CiteSeerX 10.1.1.2.7039 . doi :10.1016/j.websem.2003.07.001. S2CID  8277015. 
  11. ^ Publicaciones de Ian Horrocks indexadas en la base de datos bibliográfica Scopus . (requiere suscripción)
  12. ^ Página de perfil del autor Ian Horrocks en la Biblioteca Digital ACM
  13. ^ Atzenbeck, C. (2009). "Entrevista con Ian Horrocks". Boletín ACM SIGWEB . 2009 : 1–4. doi :10.1145/1592394.1592396. S2CID  7868854.
  14. ^ Horrocks, Ian Robert (1995). Una comparación de dos sistemas de representación del conocimiento terminológico (tesis de maestría). Universidad de Manchester. Archivado desde el original el 23 de diciembre de 2012.
  15. ^ Horrocks, Ian Robert (1997). Optimización de procedimientos de decisión de tablas para lógicas descriptivas. manchester.ac.uk (tesis doctoral). Universidad de Manchester. OCLC  644109415.
  16. ^ Tsarkov, D.; Horrocks, I. (2006). "FaCT++ Description Logic Reasoner: System Description" (PDF) . Razonamiento automatizado . Apuntes de clase en informática. Vol. 4130. págs. 292–297. CiteSeerX 10.1.1.65.2672 . doi :10.1007/11814771_26. ISBN  978-3-540-37187-8.
  17. ^ "HermiT Reasoner: Home" . Consultado el 2 de julio de 2011 .
  18. ^ B. Motik, R. Shearer e I. Horrocks (2009). "Razonamiento hipertablero para lógicas descriptivas" (PDF) . Revista de investigación en inteligencia artificial . 36 : 165–228. doi : 10.1613/jair.2811 . S2CID  190609.
  19. ^ Motik, B.; Cuenca Grau, B.; Sattler, U. (2008). "Objetos estructurados en owl: representación y razonamiento" (PDF) . Actas de la 17.ª conferencia internacional sobre la World Wide Web – WWW '08 . pág. 555. doi :10.1145/1367497.1367573. ISBN. 9781605580852.S2CID11221528  .​
  20. ^ Sirin, E.; Parsia, B.; Grau, BC; Kalyanpur, A.; Katz, Y. (2007). "Pellet: Un razonador práctico de OWL-DL" (PDF) . Semántica web: ciencia, servicios y agentes en la World Wide Web . 5 (2): 51–53. doi :10.1016/j.websem.2007.03.004. S2CID  101226. Archivado desde el original (PDF) el 27 de junio de 2007.
  21. ^ Golbreich, C.; Horridge, M.; Horrocks, I.; Motik, B.; Shearer, R. (2007). "OBO y OWL: aprovechamiento de las tecnologías de la Web semántica para las ciencias de la vida" (PDF) . La Web semántica . Apuntes de clase en informática. Vol. 4825. págs. 169–182. doi :10.1007/978-3-540-76298-0_13. ISBN 978-3-540-76297-3.
  22. ^ Introducción de Ian Horrocks en la lista de correo www-webont-wg del Consorcio World Wide Web (W3C)
  23. ^ Subvenciones de investigación del gobierno del Reino Unido otorgadas a Ian Horrocks Archivado el 8 de agosto de 2014 en Wayback Machine , a través de Research Councils UK
  24. ^ "Ian Horrocks nombrado editor jefe del Journal of Web Semantics". blogspot.co.uk . 2012.
  25. ^ "Transacciones sobre datos gráficos y conocimiento (TGDK), Consejo editorial". tgdk.org .. Recuperado el 4 de mayo de 2023.
  26. ^ Horrocks, Ian; Hendler, James , eds. (2002). "Front Matter". Actas de la 1.ª Conferencia Internacional de Web Semántica – ISWC '02 . Apuntes de clase en informática. Vol. 2342. Springer. doi :10.1007/3-540-48005-6. ISBN 3-540-43760-6. Número de identificación del sujeto  27631564.
  27. ^ International Semantic Web Conference 2010, Organización. Consultado el 4 de mayo de 2023.
  28. ^ "Oxford Semantic Technologies Limited". oxfordsemantic.tech .
  29. ^ Anónimo (2017). «Oxford Semantic Technologies Limited». gov.uk . Londres: Companies House . Archivado desde el original el 26 de julio de 2023.