Frank van Harmelen (nacido en 1960) es un informático holandés y profesor de Representación y Razonamiento del Conocimiento en el departamento de IA de la Vrije Universiteit Amsterdam . Actualmente es director científico del proyecto LarKC, [3] "con el objetivo de desarrollar el Gran Colisionador de Conocimientos, una plataforma para el razonamiento de la web semántica a gran escala ". [4] [5] [6]
Frank van Harmelen | |
---|---|
Nació | 1960 (60 a 61 años) |
alma mater | Universidad de Edimburgo |
Carrera científica | |
Campos | Web semántica [1] |
Instituciones | Vrije Universiteit, Ámsterdam |
Tesis | Sobre la eficiencia del razonamiento a nivel meta (1989) |
Asesores académicos | Alan Bundy [2] |
Sitio web | www |
Biografía
Después de estudiar matemáticas e informática en Ámsterdam, Van Harmelen se trasladó al Departamento de IA de la Universidad de Edimburgo , donde obtuvo un doctorado en 1989 por su investigación sobre el razonamiento a nivel meta . Mientras estuvo en Edimburgo, "co-desarrolló un conjunto de herramientas basado en la lógica para sistemas expertos y trabajó con Alan Bundy en la planificación de pruebas para la demostración de teoremas inductivos". [2] [4]
Después de su investigación de doctorado, regresó a Amsterdam, donde trabajó de 1990 a 1995 en el Departamento de SWI con el profesor Bob Wielinga , sobre el uso de la reflexión en sistemas expertos , sobre los fundamentos formales de la metodología CommonKADS para sistemas basados en el conocimiento. En 1995 se unió al grupo de investigación de IA en la Vrije Universiteit Amsterdam , donde codirigió el proyecto On-To-Knowledge, uno de los primeros proyectos de Web Semántica. Fue nombrado profesor titular en 2002 y dirige el Grupo de Representación y Razonamiento del Conocimiento. Actualmente es director científico del proyecto LarKC que tiene como objetivo desarrollar el Gran Colisionador de Conocimientos, una plataforma para el razonamiento web semántico a gran escala . [4]
Van Harmelen fue elegido miembro de la Real Academia de Artes y Ciencias de los Países Bajos en 2017. [7] [8]
Trabaja
Los intereses de investigación de Van Harmelen incluyen inteligencia artificial , representación del conocimiento y la web semántica , razonamiento aproximado y protocolos médicos. Fue uno de los co-diseñadores de Web Ontology Language (OWL) y Ontology Inference Layer (OIL), y ha publicado libros sobre inferencia de meta-nivel, sobre sistemas basados en el conocimiento y sobre la Web Semántica.
Publicaciones
Van Harmelen ha publicado varios libros y más de 100 artículos de investigación, [6] Libros:
- 1989. Representación del conocimiento basada en la lógica . Con P. Jackson y H. Reichgelt. The MIT Press, Cambridge, MA, 1989. ISBN 0-262-10038-X .
- 1991. Sistemas de inferencia de meta-nivel F. van Harmelen. Notas de investigación en IA. Pitmann, Morgan Kaufmann, Londres, San Mateo, California, 1991. ISBN 1-55860-196-1
- 2003. Hacia la web semántica: gestión del conocimiento impulsada por ontologías Con John Davies y Dieter Fensel (eds.) John Wiley & Sons, 2002, ISBN 0-470-84867-7
- 2004. A Semantic Web Primer (Cooperative Information Systems) . Con Grigoris Antoniou. Prensa del MIT. ISBN 0-262-01210-3
- 2004. Intercambio de información en la web semántica . Con Heiner Stuckenschmidt. Saltador. ISBN 3-540-20594-2
- 2008. Manual de representación del conocimiento . Con V. Lifschitz y B. Porter, Elsevier, 2008. ISBN 978-0-444-52211-5 .
Artículos, una selección:
- Vink, J .; Koppens, PCJM; Van Harmelen, FA; Van Voorthuijsen, WE (1981). "Manejo flexible de datos para análisis cuantitativos rutinarios que emplean un espectrómetro de masas-cromatógrafo de gases bajo control informático" . Revista de química automática . 3 (2): 85–88. doi : 10.1155 / S1463924681000242 . PMC 2547295 . PMID 18927785 .
- Renardel De Lavalette, GR; Groenboom, R .; Rotterdam, E .; Van Harmelen, F .; Ten Teije, A .; De Geus, F. (1997). "Formalización para el apoyo a la decisión en anestesiología". Inteligencia artificial en Medicina . 11 (3): 189–214. CiteSeerX 10.1.1.78.2673 . doi : 10.1016 / S0933-3657 (97) 00031-6 . PMID 9413606 .
- Vollebregt, A .; Ten Teije, A .; Van Harmelen, F .; Van Der Lei, J .; Mosseveld, M. (1999). "Un estudio de PROforma, una metodología de desarrollo de procedimientos clínicos". Inteligencia artificial en Medicina . 17 (2): 195-221. CiteSeerX 10.1.1.27.2892 . doi : 10.1016 / S0933-3657 (99) 00016-0 . PMID 10518051 .
- Korotkiy, M .; Middelburg, R .; Dekker, H .; Van Harmelen, F .; Lankelma, J. (2004). "Una herramienta para la búsqueda en PubMed basada en la expresión genética mediante la combinación de fuentes de datos" . Bioinformática . 20 (12): 1980–1982. doi : 10.1093 / bioinformatics / bth183 . PMID 15044238 .
- Balser, M .; Coltell, O .; Van Croonenborg, J .; Duelli, C .; Van Harmelen, F .; Jovell, A .; Lucas, P .; Marcos, M .; Miksch, S .; Reif, W .; Rosenbrand, K .; Seyfang, A .; Ten Teije, A. (2004). "Protocolos: Apoyar el desarrollo de protocolos médicos a través de métodos formales". Estudios en Tecnología e Informática de la Salud . 101 : 103-107. PMID 15537209 .
- Ten Teije, A .; Marcos, M .; Balser, M .; Van Croonenborg, J .; Duelli, C .; Van Harmelen, F .; Lucas, P .; Miksch, S .; Reif, W .; Rosenbrand, K .; Seyfang, A. (2006). "Mejora de los protocolos médicos por métodos formales". Inteligencia artificial en Medicina . 36 (3): 193-209. CiteSeerX 10.1.1.71.3147 . doi : 10.1016 / j.artmed.2005.10.006 . PMID 16376061 .
- Serban, R .; Ten Teije, A .; Van Harmelen, F .; Marcos, M .; Polo-Conde, C. (2007). "Extracción y uso de patrones lingüísticos para modelar guías médicas". Inteligencia artificial en Medicina . 39 (2): 137-149. doi : 10.1016 / j.artmed.2006.07.012 . PMID 16963241 .
- Groot, P .; Hommersom, A .; Lucas, PJF; Merk, RJ; Ten Teije, A .; Van Harmelen, F .; Serban, R. (2009). "Uso de la comprobación del modelo para realizar críticas basadas en guías clínicas". Inteligencia artificial en Medicina . 46 (1): 19–36. doi : 10.1016 / j.artmed.2008.07.007 . PMID 18824335 .
Referencias
- ^ 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 .
- ^ a b Frank van Harmelen en el Proyecto de genealogía de las matemáticas
- ^ Proyecto LarKC
- ^ a b c Página de inicio de Frank van Harmelen en la Vrije Universiteit Amsterdam. Consultado el 6 de octubre de 2008.
- ^ Publicaciones de Frank van Harmelen indexadas por Google Scholar
- ^ a b Frank van Harmelen en el servidor de bibliografía DBLP
- ^ "KNAW kiest 26 nieuwe leden" (en holandés). Real Academia de las Artes y las Ciencias de los Países Bajos. 10 de mayo de 2017 . Consultado el 14 de mayo de 2017 .
- ^ "Frank van Harmelen" . Real Academia de las Artes y las Ciencias de los Países Bajos. Archivado desde el original el 14 de mayo de 2017.
enlaces externos
- Una entrevista con Frank van Harmelen sobre la Web Semántica
- Blog escrito por Frank van Harmelen