Ontologia formal básica - Basic Formal Ontology
A Ontologia Formal Básica ( BFO ) é uma ontologia de alto nível desenvolvida por Barry Smith e seus associados com o propósito de promover a interoperabilidade entre ontologias de domínio construídas em seus termos por meio de um processo de população descendente. Um guia para construir ontologias de domínio em conformidade com o BFO foi publicado pela MIT Press em 2015. O padrão, "ISO / IEC 21838-2" ., está atualmente em desenvolvimento.
A estrutura do BFO é baseada em uma divisão de entidades em duas categorias disjuntas de contínuos e ocorrentes , a primeira consiste em objetos e regiões espaciais, a última contém processos concebidos como estendidos ao longo (ou abrangendo) o tempo. O BFO busca, assim, consolidar o tempo e o espaço em uma única estrutura.
Formulários
O BFO foi adotado como uma ontologia fundamental por mais de 300 projetos de ontologia, principalmente nas áreas de ontologia biomédica e ontologia de segurança e defesa (inteligência). Um exemplo de aplicação de BFO pode ser visto na Ontology for Biomedical Investigations (OBI) e na Open Biomedical Ontologies Foundry (OBO).
Veja também
Referências
Leitura adicional
- Bittner, Thomas; Donnelly, Maureen; Smith, Barry (2009). "Uma Ontologia Espaço-Temporal para Integração de Informações Geográficas" (PDF) . International Journal of Geographical Information Science . 23 (6): 765–798. doi : 10.1080 / 13658810701776767 . S2CID 5055085 .
- Grenon, P .; Smith, B. (2004). "SNAP e SPAN: Rumo a Ontologia Espacial Dinâmica" (PDF) . Cognição e computação espacial . 4 (1): 69–103. doi : 10.1207 / s15427633scc0401_5 . S2CID 14469822 .
- Jansen, Ludger (outubro de 2007). "Tendências e outros realizáveis em Ciências da Informação Médica" (PDF) . The Monist . 90 (4): 534–554. doi : 10.5840 / monist200790436 .
- Munn, Katherine; Smith, Barry, eds. (2013). Ontologia aplicada: uma introdução . Walter de Gruyter. ISBN 9783110324860.
- Neuhaus, Fabian; Grenon, Pierre; Smith, Barry (2004). "Uma Teoria Formal de Substâncias, Qualidades e Universais" (PDF) . Em Varzi, Achille C .; Vieu, Laure (eds.). Ontologia Formal em Sistemas de Informação: Anais da Terceira Conferência Internacional (FOIS-2004) . Fronteiras em inteligência artificial e aplicações. IOS Press. pp. 49–59. ISBN 1586034685. ISSN 0922-6389 .
- Schneider, Luc (2010). "Revisitando o quadrado ontológico" (PDF) . Em Galton, Antony; Mizoguchi, Riichiro (eds.). Ontologia Formal em Sistemas de Informação: Procedimentos da Sexta Conferência Internacional (FOIS 2010) . Fronteiras em inteligência artificial e aplicações. 209 . IOS Press. pp. 73–. ISBN 9781607505341. ISSN 0922-6389 .
- Smith, B .; Grenon, P. (2004). "The Cornucopia of Formal-Ontological Relations" (PDF) . Dialectica . 58 (3): 79–296. doi : 10.1111 / j.1746-8361.2004.tb00305.x .
- Smith, Barry; Ceusters, Werner; Klagges, Bert; Köhler, Jacob; Kumar, Anand; Lomax, Jane; Mungall, Chris; Neuhaus, Fabian; Reitor, Alan; Rosse, Cornelius (2005). "Relações em Ontologias Biomédicas" . Genome Biology . 6 (5): R46. doi : 10.1186 / gb-2005-6-5-r46 . PMC 1175958 . PMID 15892874 . S2CID 11117072 .
- Smith, B .; Ceusters, W. (2010). "Realismo Ontológico como Metodologia para Evolução Coordenada de Ontologias Científicas" . Ontologia aplicada . 5 (3–4): 139–188. doi : 10.3233 / AO-2010-0079 . PMC 3104413 . PMID 21637730 .
links externos
- Ontologia formal básica (BFO)
- Ontologia formal básica 2.0
- Ontologia formal básica 2020 (GitHub)
- Smith, Barry (15 de fevereiro de 2018). Ontologia para Engenharia de Sistemas (versão resumida) .