Basic Formal Ontology (Základní formální ontologie, zkr. BFO) vyvíjená Barry Smithem a jeho spolupracovníky je fundamentální ontologie užívaná v informační vědě k popisu entit na nejvyšší úrovni obecnosti. Jedním z nápadných rysů BFO je rozdělení entit na ty, které trvají (continuants) a jsou součástí ontologie SNAP (snap = snímek), a na ty, které se dějí (occurents) a jsou součástí ontologie SPAN (span = rozpětí). Toto dělení je motivováno kontroverzí mezi endurantismem a perdurantismem v současné analytické metafyzice. V tomto článku, v návaznosti na Aristotela, navrhuji v zájmu realismu určitou modifikaci Smithova přístupu. Basic Formal Ontology (BFO), developed by Barry Smith and his colleagues, is a foundational ontology used in inform...