Ian Horrocks
De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda
Para el piloto de helicóptero de la Royal Air Force británica, consulte Ian Horrocks (oficial de la RAF) .

Ian HorrocksFRS
Ian Horrocks mg 7439.jpg
Ian Horrocks
Nació
Ian Robert Horrocks

(1958-03-11) 11 de marzo de 1958 (63 años) [1]
Liverpool
Nacionalidadbritánico
alma materUniversidad de Manchester (BSc, MSc, PhD)
Conocido por
PremiosMedalla BCS Lovelace (2020). [3] Premio Roger Needham (2005) [4]
Carrera científica
Los campos
Instituciones
TesisOptimización de los procedimientos de decisión de tableaux para la lógica de descripción  (1997)
Sitio webcs .ox .ac .uk / 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 [5] [8] se centra en la representación y el razonamiento del conocimiento , en particular los lenguajes de ontología , [9] la lógica de descripción y los procedimientos de decisión de tableaux optimizados . [10] [11] [12]

Educación

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

Investigación y carrera

Después de varios años como conferencista, conferencista senior, lector y luego profesor en Manchester, Horrocks se mudó a la Universidad de Oxford en 2008. Su trabajo sobre el razonamiento de cuadros para lógicas descriptivas muy expresivas ha formado la base de la mayoría de los sistemas de razonamiento lógico descriptivo que se usan hoy en día. incluyendo Racer, FaCT ++, [15] HermiT [16] [17] [18] y Pellet. [19]

Horrocks fue conjuntamente responsable del desarrollo de los lenguajes de ontología OIL y DAML + OIL , y jugó un papel central en el desarrollo del Lenguaje de Ontología Web (OWL). Estos lenguajes y herramientas asociadas han sido utilizados por Open Biomedical Ontologies (OBO) [20] Consortium, el Instituto Nacional del Cáncer (NCI) en América, la Organización de las Naciones Unidas (ONU) para la Agricultura y la Alimentación (FAO), el World Wide Web Consortium ( W3C) [21] y una serie 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). [22]

Horrocks es el actual editor en jefe del Journal of Web Semantics [23] y se ha desempeñado como presidente del programa de la International Semantic Web Conference (ISWC). [ cita requerida ]

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 . [3]

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 [4].

Tecnologías semánticas de Oxford

Horrocks en 2017 co-fundó la Universidad de Oxford tecnología spin-out Oxford Semántica Technologies Ltd . junto con otros dos profesores de Oxford. El propósito era aplicar su investigación en la industria y, al hacerlo, creó el razonador semántico y gráfico de conocimiento de alto rendimiento , RDFox [24], que se distingue por su enfoque in-memory único y su respaldo académico.

Referencias

  1. ^ Anon (2014). "Horrocks, Prof. Ian Robert" . Quién es quién . ukwhoswho.com (edición en línea a través de Oxford University Press  ed.). A & C Black, una impresión de Bloomsbury Publishing plc. doi : 10.1093 / ww / 9780199540884.013.U250633 . (se requiere suscripción o membresía a una biblioteca pública del Reino Unido ) (se requiere suscripción)
  2. ^ Grosof, BN; Horrocks, I .; Volz, R .; Decker, S. (2003). "Descripción de programas lógicos". Actas de la duodécima conferencia internacional sobre World Wide Web - WWW '03 . pag. 48. doi : 10.1145 / 775152.775160 . ISBN 978-1581136807. S2CID  6381308 .
  3. ^ a b "Medalla BCS Lovelace 2020: sistemas de razonamiento | BCS" . www.bcs.org . Consultado el 1 de octubre de 2021 .
  4. ^ a b Profesor Ian Horrocks, ganadores del premio Roger Needham , a través de la British Computer Society
  5. ^ a b Publicaciones de Ian Horrocks indexadas por Google Scholar
  6. ↑ a b c Anon (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 becarios está disponible bajo Creative Commons Attribution 4.0 International License ". - Términos, condiciones y políticas de la Royal Society en Wayback Machine (archivado el 11/11/2016)

  7. ^ http://www.cs.ox.ac.uk/people/ian.horrocks/ Página de inicio de Ian Horrocks en la Universidad de Oxford
  8. ^ Ian Horrocks en elservidor de bibliografía DBLP
  9. ^ 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 .  
  10. ^ Publicaciones de Ian Horrocks indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
  11. ^ Página de perfil del autor de Ian Horrocks en laBiblioteca digital de ACM
  12. ^ Atzenbeck, C. (2009). "Entrevista con Ian Horrocks". Boletín ACM SIGWEB : 1–4. doi : 10.1145 / 1592394.1592396 . S2CID 7868854 . 
  13. ^ 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.
  14. ^ Horrocks, Ian Robert (1997). Optimización de los procedimientos de decisión de tableaux para la lógica descriptiva (PDF) (tesis doctoral). Universidad de Manchester. OCLC 644109415 . Copac 36615243 .   
  15. ^ Tsarkov, D .; Horrocks, I. (2006). "Razonador lógico de descripción de FaCT ++: Descripción del sistema" (PDF) . Razonamiento automatizado . Apuntes de conferencias en Ciencias de la Computación. 4130 . págs. 292-297. CiteSeerX 10.1.1.65.2672 . doi : 10.1007 / 11814771_26 . ISBN   978-3-540-37187-8.
  16. ^ "Razonador de HermiT: Inicio" . Consultado el 2 de julio de 2011 .
  17. ^ B. Motik, R. Shearer e I. Horrocks (2009). "Razonamiento de hipertabla para las lógicas de descripción" (PDF) . Revista de Investigación en Inteligencia Artificial . 36 : 165–228. doi : 10.1613 / jair.2811 . S2CID 190609 .  
  18. ^ Motik, B .; Cuenca Grau, B .; Sattler, U. (2008). "Objetos estructurados en búho: representación y razonamiento" (PDF) . Actas de la 17ª conferencia internacional sobre World Wide Web - WWW '08 . pag. 555. doi : 10.1145 / 1367497.1367573 . ISBN  9781605580852. S2CID  11221528 .
  19. ^ Sirin, E .; Parsia, B .; Grau, BC; Kalyanpur, A .; Katz, Y. (2007). "Pellet: un razonador práctico 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 . Archivado desde el original (PDF) el 27 de junio de 2007.
  20. ^ Golbreich, C .; Horridge, M .; Horrocks, I .; Motik, B .; Shearer, R. (2007). "OBO y OWL: aprovechamiento de las tecnologías web semánticas para las ciencias de la vida" (PDF) . La Web Semántica . Apuntes de conferencias en Ciencias de la Computación. 4825 . págs. 169-182. doi : 10.1007 / 978-3-540-76298-0_13 . ISBN  978-3-540-76297-3.
  21. ^ Introducción de Ian Horrocks en la lista de correo www-webont-wg del Consorcio World Wide Web (W3C)
  22. ^ Subvenciones de investigación del gobierno del Reino Unido otorgadas a Ian Horrocks , a través de Research Councils UK
  23. ^ Ian Horrocks nombrado editor en jefe del Journal of Web Semantics , 1 de julio de 2012
  24. ^ "Producto" . www.oxfordsemantic.tech . Consultado el 1 de octubre de 2021 .
Obtenido de " https://en.wikipedia.org/w/index.php?title=Ian_Horrocks&oldid=1048232812 "
Contribute a better translation