Basic Formal Ontology
http://dbpedia.org/resource/Basic_Formal_Ontology an entity of type: Software
Basic Formal Ontology (BFO) is a top-level ontology developed by Barry Smith and his associates for the purposes of promoting interoperability among domain ontologies built in its terms through a process of downward population. A guide to building BFO-conformant domain ontologies was published by MIT Press in 2015. The standard, "ISO/IEC 21838-2"., is currently under development.
rdf:langString
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. Ontologia BFO, jak inne ontologie wyższego poziomu, nie zawiera pojęć dziedzinowych. 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: Taksonomia pojęć ontologii – na podstawie definicji OWL – jest przedstawiona na rysunku poniżej.
rdf:langString
rdf:langString
Basic Formal Ontology
rdf:langString
Ontologia BFO
xsd:integer
18025074
xsd:integer
1118819214
rdf:langString
Basic Formal Ontology (BFO) is a top-level ontology developed by Barry Smith and his associates for the purposes of promoting interoperability among domain ontologies built in its terms through a process of downward population. A guide to building BFO-conformant domain ontologies was published by MIT Press in 2015. The standard, "ISO/IEC 21838-2"., is currently under development. The structure of BFO is based on a division of entities into two disjoint categories of continuant and occurrent, the former consists of objects and spatial regions, the latter contains processes conceived as extended through (or spanning) time. BFO thereby seeks to consolidate both time and space within a single framework.
rdf:langString
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. Ontologia BFO, jak inne ontologie wyższego poziomu, nie zawiera pojęć dziedzinowych. 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:
* 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 – 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”. Najwyższym podziałem klasy entity jest podział między klasy occurrent („byt który się pojawia w czasie”) i continuant („byt który trwa w czasie utrzymując swą tożsamość”).
xsd:nonNegativeInteger
6467