Podstawowa ontologia formalna

Podstawowa ontologia formalna ( BFO ) to ontologia najwyższego poziomu opracowana przez Barry'ego Smitha i jego współpracowników w celu promowania interoperacyjności między ontologiami domen zbudowanymi na jej warunkach w procesie populacji malejącej. Przewodnik po budowaniu ontologii domen zgodnych z BFO został opublikowany przez MIT Press w 2015 roku.

Ontologia powstała na tle badań ontologii w dziedzinie informacji geoprzestrzennej Davida Marka, Pierre'a Grenona, Achille'a Varziego i innych, ze szczególną rolą w badaniu niejasności i sposobów ostrych granic w domenach geoprzestrzennych i innych są tworzone przez fiata.

BFO przeszło przez 4 główne wydania, udokumentowane tutaj . Obecna wersja została wydana w 2020 roku i stanowi podstawę normy „ISO/IEC 21838-2” . który został wydany przez Wspólny Komitet Międzynarodowej Organizacji Normalizacyjnej i Międzynarodowej Komisji Elektrotechnicznej w 2021 r.

Struktura BFO opiera się na podziale bytów na dwie rozłączne kategorie: ciągłe i występujące , pierwsza składa się z obiektów i regionów przestrzennych, druga zawiera procesy rozumiane jako rozciągnięte w czasie (lub rozpięte). W ten sposób BFO stara się skonsolidować zarówno czas, jak i przestrzeń w ramach jednej struktury.

Aplikacje

BFO zostało przyjęte jako podstawowa ontologia w ponad 450 projektach ontologicznych, głównie w obszarach ontologii biomedycznej, ontologii bezpieczeństwa i obrony (wywiadu) oraz ontologii przemysłowych. Przykładowe zastosowania BFO można zobaczyć w Ontology for Biomedical Investigations (OBI).

W 2021 r. Wspólny Komitet Techniczny Międzynarodowej Organizacji Normalizacyjnej i Międzynarodowa Komisja Elektrotechniczna opublikowały normę ISO/IEC 21838-2:2021 Technologia informacyjna — Ontologie najwyższego poziomu (TLO) — Część 2: Podstawowa ontologia formalna (BFO) . ISO/IEC 21838 to norma wieloczęściowa. Część 1 normy określa wymagania, które muszą być spełnione, jeśli ontologia ma być sklasyfikowana jako ontologia najwyższego poziomu zgodnie z normą.

Zobacz też

• Ontologia formalna
• Inżynieria ontologii
• Wyższa ontologia

Dalsza lektura

•   Bittner, Tomasz; Donnelly, Maureen; Smith, Barry (2009). „Ontologia czasoprzestrzenna do integracji informacji geograficznych” (PDF) . International Journal of Geographic Information Science . 23 (6): 765–798. doi : 10.1080/13658810701776767 . S2CID 5055085 .
• Jansen, Ludger (październik 2007). „Tendencje i inne realizacje w naukach o informacjach medycznych” (PDF) . Monista . 90 (4): 534–554. doi : 10.5840/monist200790436 .
•   Munn, Katherine; Smith, Barry, wyd. (2013). Ontologia stosowana: wprowadzenie . Waltera de Gruytera. ISBN 9783110324860 .
•    Neuhaus, Fabian; Grenon, Pierre; Smith, Barry (2004). „Formalna teoria substancji, cech i uniwersaliów” (PDF) . W Varzi, Achille C.; Vieu, Laure (red.). Ontologia formalna w systemach informacyjnych: materiały z trzeciej międzynarodowej konferencji (FOIS-2004) . Granice w sztucznej inteligencji i aplikacjach. IOS Naciśnij. s. 49–59. ISBN 1586034685 . ISSN 0922-6389 .
•    Schneider, Luc (2010). „Ponowna wizyta na placu ontologicznym” (PDF) . W Galton, Antoni; Mizoguchi, Riichiro (red.). Formalna ontologia w systemach informacyjnych: Proceedings of the Sixth International Conference (FOIS 2010) . Granice w sztucznej inteligencji i aplikacjach. Tom. 209. IOS Naciśnij. s. 73–. ISBN 9781607505341 . ISSN 0922-6389 .
• Smith, B.; Grenon, P. (2004). „Róg obfitości relacji formalno-ontologicznych” (PDF) . dialektyka . 58 (3): 79–296. doi : 10.1111/j.1746-8361.2004.tb00305.x .
•     Smith, Barry; Ceusters, Werner; Klagges, Bert; Köhler, Jakub; Kumar, Anand; Lomax, Jane; Mungal, Chris; Neuhaus, Fabian; Rektor Alan; Rosse, Korneliusz (2005). „Relacje w ontologiach biomedycznych” . Biologia genomu . 6 (5): R46. doi : 10.1186/gb-2005-6-5-r46 . PMC 1175958 . PMID 15892874 . S2CID 11117072 .
•    Smith, B.; Ceusters, W. (2010). „Realizm ontologiczny jako metodologia skoordynowanej ewolucji ontologii naukowych” . Stosowana Ontologia . 5 (3–4): 139–188. doi : 10.3233/AO-2010-0079 . PMC 3104413 . PMID 21637730 .
•   Otte, N.; Beverley, J.; Ruttenberg, A. (2022). „BFO: podstawowa ontologia formalna” . Stosowana Ontologia . 17 (1): 17–43. doi : 10.3233/AO-220262 . S2CID 247354631 .

Linki zewnętrzne

• Podstawowa ontologia formalna (BFO)
• Podstawowa ontologia formalna 2.0
• Podstawowa ontologia formalna 2020 (GitHub)
• Smith, Barry (15 lutego 2018). Ontologia dla inżynierii systemów (wersja krótka) . Zarchiwizowane od oryginału w dniu 21 grudnia 2021 r.