La ontología formal básica ( BFO ) es una ontología de alto nivel desarrollada por Barry Smith y sus asociados con el propósito de promover la interoperabilidad entre ontologías de dominio construidas en sus términos a través de un proceso de población descendente. [1] En 2015, MIT Press publicó una guía para crear ontologías de dominio conformes con BFO. [2] El estándar, "ISO / IEC 21838-2" ., se encuentra actualmente en desarrollo.
La estructura de BFO se basa en una división de entidades en dos categorías inconexas de continua y ocurrente , la primera consiste en objetos y regiones espaciales, la última contiene procesos concebidos como extendidos a través (o abarcando) el tiempo. De este modo, BFO busca consolidar tanto el tiempo como el espacio en un solo marco.
Aplicaciones
BFO ha sido adoptado como ontología fundamental por más de 300 proyectos de ontología, [3] principalmente en las áreas de ontología biomédica y ontología de seguridad y defensa (inteligencia). [1] Un ejemplo de aplicación de BFO se puede ver en la Ontología para Investigaciones Biomédicas (OBI) y en la Fundición de Ontologías Biomédicas Abiertas (OBO).
Ver también
Referencias
- ^ a b "Ontología formal básica (BFO) 2020" . Consultado el 24 de junio de 2021 .
- ^ Arp, Robert; Smith, Barry; Lanza, Andrew D. (2015). Construyendo ontologías con ontología formal básica . Prensa del MIT. ISBN 978-0-262-52781-1.
- ^ "Ontologías e instituciones / grupos que utilizan BFO" . Ontología formal básica (BFO) . Consultado el 24 de junio de 2021 .
Lectura adicional
- Bittner, Thomas; Donnelly, Maureen; Smith, Barry (2009). "Una ontología espacio-temporal para la integración de información geográfica" (PDF) . Revista Internacional de Ciencias de la Información Geográfica . 23 (6): 765–798. doi : 10.1080 / 13658810701776767 . S2CID 5055085 .
- Grenon, P .; Smith, B. (2004). "SNAP y SPAN: Hacia una ontología espacial dinámica" (PDF) . Cognición espacial y computación . 4 (1): 69–103. doi : 10.1207 / s15427633scc0401_5 . S2CID 14469822 .
- Jansen, Ludger (octubre de 2007). "Tendencias y otros Realizables en Ciencias de la Información Médica" (PDF) . El Monista . 90 (4): 534–554. doi : 10.5840 / monist200790436 .
- Munn, Katherine; Smith, Barry, eds. (2013). Ontología aplicada: una introducción . Walter de Gruyter. ISBN 9783110324860.
- Neuhaus, Fabián; Grenon, Pierre; Smith, Barry (2004). "Una teoría formal de sustancias, cualidades y universales" (PDF) . En Varzi, Achille C .; Vieu, Laure (eds.). Ontología formal en sistemas de información: Actas de la Tercera Conferencia Internacional (FOIS-2004) . Fronteras en inteligencia artificial y aplicaciones. IOS Press. págs. 49–59. ISBN 1586034685. ISSN 0922-6389 .
- Schneider, Luc (2010). "Revisitando el Cuadrado Ontológico" (PDF) . En Galton, Antony; Mizoguchi, Riichiro (eds.). Ontología formal en sistemas de información: Actas de la Sexta Conferencia Internacional (FOIS 2010) . Fronteras en inteligencia artificial y aplicaciones. 209 . IOS Press. págs. 73–. ISBN 9781607505341. ISSN 0922-6389 .
- Smith, B .; Grenon, P. (2004). "La cornucopia de las relaciones formal-ontológicas" (PDF) . Dialectica . 58 (3): 79-296. doi : 10.1111 / j.1746-8361.2004.tb00305.x .
- Smith, Barry; Ceusters, Werner; Klagges, Bert; Köhler, Jacob; Kumar, Anand; Lomax, Jane; Mungall, Chris; Neuhaus, Fabián; Rector, Alan; Rosse, Cornelius (2005). "Relaciones en Ontologías Biomédicas" . Biología del genoma . 6 (5): R46. doi : 10.1186 / gb-2005-6-5-r46 . PMC 1175958 . PMID 15892874 . S2CID 11117072 .
- Smith, B .; Ceusters, W. (2010). "Realismo Ontológico como metodología para la Evolución Coordinado de ontologías Científicas " " . Applied ontología . 5 (3-4): 139-188. Doi : 10.3233 / AO-2010-0079 . PMC 3.104.413 . PMID 21637730 .
Enlaces externos
- Ontología formal básica (BFO)
- Ontología formal básica 2.0
- Ontología formal básica 2020 (Github)
- Smith, Barry (15 de febrero de 2018). Ontología para la ingeniería de sistemas (versión corta) .