La ontología formal básica ( BFO , por sus siglas en inglés) es una ontología de nivel superior 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. MIT Press publicó en 2015 una guía para construir ontologías de dominio conformes con BFO. [1]
La ontología surgió en el contexto de la investigación en ontologías en el dominio de la ciencia de la información geoespacial por parte de David Mark, Pierre Grenon, Achille Varzi y otros, [2] con un papel especial para el estudio de la vaguedad y de las formas en que se crean límites precisos en los dominios geoespaciales y otros por decreto. [3] [4]
BFO ha pasado por cuatro versiones principales, documentadas aquí. La revisión actual se publicó en 2020 [5] y constituye la base de la norma "ISO/IEC 21838-2"., que fue publicado por el Comité Conjunto de la Organización Internacional de Normalización y la Comisión Electrotécnica Internacional en 2021.
La estructura de BFO se basa en una división de entidades en dos categorías disjuntas: continuas y presentes ; las primeras están formadas por objetos y regiones espaciales, mientras que las segundas contienen 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.
Aplicaciones
BFO ha sido adoptado como una ontología fundamental por más de 450 proyectos de ontología, [6] principalmente en las áreas de ontología biomédica, [7] ontología de seguridad y defensa (inteligencia), [8] y ontologías industriales. [9] [5] Se pueden ver ejemplos de aplicaciones de BFO en la Ontología para Investigaciones Biomédicas (OBI).
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ías de la información — Ontologías de nivel superior (TLO) — Parte 2: Ontología formal básica (BFO). [10] La norma ISO/IEC 21838 es una norma de varias partes. La Parte 1 de la norma [11] especifica los requisitos que se deben cumplir para que una ontología se clasifique como ontología de nivel superior según la norma.
En enero de 2024, el BFO y las ontologías básicas comunes (CCO), un conjunto de ontologías de extensión del BFO, se adoptaron como los “estándares de referencia para el trabajo de desarrollo de ontologías formales del DOD y de IC” en el DOD y la comunidad de inteligencia. Los directores de datos del DOD, la Oficina del Director de Inteligencia Nacional y la Oficina del Director de Inteligencia Artificial y Digital firmaron un memorando a tal efecto. [12] [13]
^ Arp, Robert; Smith, Barry; Spear, Andrew D. (2015). Construcción de ontologías con ontología formal básica. MIT Press. ISBN978-0-262-52781-1.
^ 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. 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 (COSIT) . 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.
^ ab "Basic Formal Ontology (BFO) 2020" . Consultado el 24 de junio de 2021 .
^ "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 la doctrina conjunta: un punto de referencia para la interoperabilidad de los sistemas de información militar", en Tecnología semántica para la inteligencia, la defensa y la seguridad (STIDS). CEUR vol. 1325. pp. 2-9 (2015).
^ El Departamento de Defensa y la Comunidad de Inteligencia adoptan un recurso desarrollado por ontólogos de la UB
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. Bibcode :2009IJGIS..23..765B. doi :10.1080/13658810701776767. S2CID 5055085.
Jansen, Ludger (octubre de 2007). "Tendencias y otros logros 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. 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. Vol. 209. IOS Press. pp. 73–. ISBN 9781607505341. ISSN 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, B.; Ceusters, W. (2010). "El realismo ontológico como metodología para la evolución coordinada de ontologías científicas". Applied Ontology . 5 (3–4): 139–188. doi :10.3233/AO-2010-0079. PMC 3104413 . PMID 21637730.
Smith, Barry (15 de febrero de 2018). Ontología para la ingeniería de sistemas (versión corta). Archivado desde el original el 21 de diciembre de 2021.