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.
| Attributes | Values |
|---|
| type
| |
| sameAs
| |
| wasDerivedFrom
| |
| dbpedia-owl:abstract
| - 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.
- 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ść”).
|
| dbpedia-owl:wikiPageExternalLink
| |
| dbpedia-owl:wikiPageID
| |
| dbpedia-owl:wikiPageRevisionID
| |
| comment
| - 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.
- 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.
|
| label
| - Basic Formal Ontology
- Ontologia BFO
|
| dbpprop:wikiPageUsesTemplate
| |
| topic
| |
| http://purl.org/li...ics/gold/hypernym
| |
| Subject
| |
| is primary topic of
| |
| dbpedia-owl:wikiPageLength
| |
| dbpedia-owl:wikiPageWikiLink
| |
| is sameAs
of | |
| is dbpprop:knownFor
of | |
| is dbpedia-owl:wikiPageDisambiguates
of | |
| is dbpedia-owl:wikiPageRedirects
of | |
| is primary topic
of | |
| is dbpedia-owl:wikiPageWikiLink
of | |
| is inDataset
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
