La Ontología Formal Básica ( BFO ) es una ontología de alto nivel desarrollada por Barry Smith y sus colegas para promover la interoperabilidad entre ontologías de dominio. La metodología BFO logra esto mediante un proceso de población descendente.
BFO es una ontología formal. Su estructura se basa en la división de entidades en dos categorías disjuntas: continuas y ocurridas . La primera comprende objetos y regiones espaciales, mientras que la segunda contiene procesos concebidos como extendidos a través del tiempo. De este modo, BFO busca consolidar tanto el tiempo como el espacio dentro de un único marco.
Una guía para construir ontologías de dominio conformes a BFO fue publicada por MIT Press en 2015. [ 1 ]
En 2021, el Comité Técnico Conjunto de la Organización Internacional de Normalización y la Comisión Electrotécnica Internacional publicó la norma ISO/IEC 21838-2:2021 Tecnología de la Información — Ontologías de Nivel Superior (TLO) — Parte 2: Ontología Formal Básica (BFO). [ 2 ] ISO /IEC 21838 es una norma de varias partes. La Parte 1 de la norma [ 3 ] especifica los requisitos que deben cumplirse para que una ontología sea clasificada como una ontología de nivel superior por la norma.
Historia

BFO surgió en el contexto de la investigación en ontologías en el dominio de la ciencia de la información geoespacial por David Mark, Pierre Grenon, Achille Varzi y otros, [ 4 ] con un papel especial para el estudio de la vaguedad y de las formas en que se crean límites nítidos en los dominios geoespaciales y otros dominios por decreto. [ 5 ] [ 6 ]
BFO ha pasado por cuatro lanzamientos importantes. [ 7 ]
2001: lanzamiento de BFO 1
2007: lanzamiento de BFO 1.1
2015: lanzamiento de BFO 2.0
2020: lanzamiento de BFO 2020
2021: publicación de BFO 2020 como norma ISO/IEC.
La revisión actual se publicó en 2020, [ 8 ] y constituye la base de la norma ISO/IEC 21838-2 , [ 9 ] que fue publicada por el Comité Conjunto de la Organización Internacional de Normalización y la Comisión Electrotécnica Internacional en 2021. [ 2 ]
Aplicaciones
BFO ha sido adoptada como ontología fundamental por más de 650 proyectos de ontología, [ 10 ] principalmente en las áreas de ontología biomédica , ontología de seguridad y defensa (inteligencia), [ 11 ] y ontologías de la industria. [ 12 ] [ 8 ] Ejemplos de aplicaciones de BFO se pueden ver en la Ontología para Investigaciones Biomédicas (OBI).
En enero de 2024, BFO y las Ontologías Básicas Comunes (CCO), un conjunto de ontologías de extensión de BFO, fueron adoptadas como los "estándares de referencia para el desarrollo formal de ontologías del Departamento de Defensa y la Comunidad de Inteligencia" en dicho departamento. Un memorando a tal efecto fue firmado por los directores de datos del Departamento de Defensa, la Oficina del Director de Inteligencia Nacional y la Oficina del Director de Inteligencia Digital y Artificial. [ 13 ]
Véase también
Referencias
- ↑ Arp, Robert; Smith, Barry; Spear, Andrew D. (2015). Building Ontologies with Basic Formal Ontology . MIT Press. ISBN 978-0-262-52781-1.
- 1 2 "ISO/IEC 21838-2:2021 Tecnología de la información - Ontologías de nivel superior (TLO) Parte 2: Ontología formal básica (BFO)" . ISO.org . Organización Internacional de Normalización. Noviembre de 2021. Recuperado el 22 de noviembre de 2024 .
- ↑ "ISO/IEC 21838-1:2021 Tecnología de la información - Ontologías de nivel superior (TLO) Parte 1: Requisitos" . ISO.org . Organización Internacional de Normalización.
- ↑ Grenon, P.; Smith, B. (2004). "SNAP and SPAN: Towards Dynamic Spatial Ontology" (PDF) . Spatial Cognition and Computation . 4 (1): 69– 103. Bibcode : 2004SpCC....4...69G . doi : 10.1207/s15427633scc0401_5 . S2CID 14469822 .
- ↑ Smith, Barry; Varzi, Achille C. (2003). "Límites fiduciarios y de buena fe: Hacia una ontología de objetos espacialmente extendidos" . Conferencia Internacional sobre Teoría de la Información Espacial . 30 (3): 103– 119.
- ↑ Smith, Barry; Mark, David M. (2003). "¿Existen las montañas? Hacia una ontología de las formas del relieve" . Environment and Planning B. 30 ( 3): 411– 428. Bibcode : 2003EnPlB..30..411S . CiteSeerX 10.1.1.739.3548 . doi : 10.1068/b12821 . S2CID 6160538 .
- ↑ "Historial de lanzamientos de BFO" . Wiki del Centro Nacional de Investigación Ontológica . Archivado del original el 9 de julio de 2024. Consultado el 22 de noviembre de 2024 .
- 1 2 "Ontología Formal Básica (BFO) 2020" . Recuperado el 24 de junio de 2021 .
- ↑ La norma puede descargarse desde "ISO/IEC 21838-2" .
- ↑ "Ontologías e instituciones/grupos que utilizan BFO" . Ontología Formal Básica (BFO) . Consultado el 2 de diciembre de 2022 .
- ↑ Peter Morosoff, Ron Rudnicki, Jason Bryant, Robert Farrell y Barry Smith, " Ontología de doctrina conjunta: un punto de referencia para la interoperabilidad de los sistemas de información militar ", en Tecnología semántica para inteligencia, defensa y seguridad (STIDS). CEUR vol. 1325. pp. 2-9 (2015).
- ↑ "Industrial Ontologies Foundry" . oagi.org . Open Applications Group (OAGi). Archivado del original el 6 de septiembre de 2024.
- ↑ Gambini, Bert (28 de febrero de 2024). "El Departamento de Defensa y la Comunidad de Inteligencia adoptan un recurso desarrollado por ontólogos de la UB" . Buffalo, Nueva York: Universidad de Buffalo .
Lecturas adicionales
- Bittner, Thomas; Donnelly, Maureen; Smith, Barry (2009). "Una ontología espaciotemporal para la integración de información geográfica" (PDF) . Revista Internacional de Ciencias de la Información Geográfica . 23 (6): 765– 798. Bibcode : 2009IJGIS..23..765B . doi : 10.1080/13658810701776767 . S2CID 5055085 .
- Jansen, Ludger (octubre de 2007). "Tendencias y otros realizables en las ciencias de la información médica" (PDF) . The Monist . 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, Fabian; 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. pp. 49–59 . ISBN 1586034685ISSN 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. Vol. 209. IOS Press. pp. 73–. ISBN 9781607505341ISSN 0922-6389
- Smith, B.; Grenon, P. (2004). "La cornucopia de las relaciones formales-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, Fabian; Rector, Alan; Rosse, Cornelius (2005). "Relaciones en ontologías biomédicas" . Genome Biology . 6 ( 5): R46. doi : 10.1186/gb-2005-6-5-r46 . PMC 1175958. PMID 15892874. S2CID 11117072 .
- Smith, B.; Ceusters, W. (2010). "El realismo ontológico como metodología para la evolución coordinada de ontologías científicas" . Ontología Aplicada . 5 ( 3–4 ): 139–188 . doi : 10.3233/AO-2010-0079 . PMC 3104413. PMID 21637730 .
- Otte, N.; Beverley, J.; Ruttenberg, A. (2022). "BFO: Ontología Formal Básica" . Ontología Aplicada . 17 (1): 17– 43. doi : 10.3233/AO-220262 . S2CID 247354631 .
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) . Archivado del original el 21 de diciembre de 2021.
- Representación del conocimiento
- Ciencias de la información
- Ontología (ciencia de la información)
- normas ISO