Ontologia BFO
Basic formal ontology (BFO) – niewielka ontologia wyższego poziomu opracowana w celu wspierania procedur pobierania informacji (ang. information retrieval), analizy oraz integracji informacji w różnych dziedzinach nauki[1].
Ontologia BFO, jak inne ontologie wyższego poziomu, nie zawiera pojęć dziedzinowych[2]. Zakłada się, że to ontologie dziedzinowe będą wykorzystywały ontologię BFO jako swoją bazę odwołując się do ogólnych pojęć w niej zdefiniowanych.
Ontologia została opublikowana w kilku formatach[3]:
- w języku logiki predykatów pierwszego rzędu (BFO FOL),
- w języku logiki drugiego rzędu dostosowanym do potrzeb systemu Isabelle (BFO Isabelle),
- w języku OWL (BFO OWL),
- w języku OBO (BFO OBO).
Wersje ontologii zawierają różnice nie tylko na płaszczyźnie składniowej, ale również semantycznej (różnice dotyczą głównie relacji lub ich braku).
Taksonomia pojęć ontologii – na podstawie definicji OWL[4] – jest przedstawiona na rysunku poniżej.
Głównym pojęciem ontologii jest klasa entity, która pokrywa swoim znaczeniem „każdy byt, który istnieje, istniał lub zaistnieje”[2][a]. Najwyższym podziałem klasy entity jest podział między klasy occurrent („byt który się pojawia w czasie”)[2][b] i continuant („byt który trwa w czasie utrzymując swą tożsamość”)[2][c].
Uwagi
[edytuj | edytuj kod]- ↑ W oryginale (ang.): An entity is anything that exists or has existed or will exist
- ↑ W oryginale (ang.): An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region
- ↑ W oryginale (ang.): A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity
Przypisy
[edytuj | edytuj kod]- ↑ Basic Formal Ontology (BFO) | Home [online], basic-formal-ontology.org [dostęp 2022-02-20].
- ↑ a b c d Barry Smith, Basic Formal Ontology 2.0. Specification and User's Guide (BFO), github, 26 czerwca 2015 [dostęp 2022-02-21].
- ↑ Robert Trypuz, Pawel Garbacz, Ontologie poza ontologią - Studium metateoretyczne u podstaw informatyki [online], 2012.
- ↑ Basic Formal Ontology (BFO) - repozytorium projektu w serwisie Github, Basic Formal Ontology (BFO), 18 lutego 2022 [dostęp 2022-02-21].