Tim PrudhommeKarl, Giacomo De ColleKarl, Austin LiebersKarl, Alec SculleyKarl, PeihongKarl, Xie, Sydney Cohen, John Beverley
{"title":"将出处本体映射到基本形式本体","authors":"Tim PrudhommeKarl, Giacomo De ColleKarl, Austin LiebersKarl, Alec SculleyKarl, PeihongKarl, Xie, Sydney Cohen, John Beverley","doi":"arxiv-2408.03866","DOIUrl":null,"url":null,"abstract":"The Provenance Ontology (PROV-O) is a World Wide Web Consortium (W3C)\nrecommended ontology used to structure data about provenance across a wide\nvariety of domains. Basic Formal Ontology (BFO) is a top-level ontology ISO/IEC\nstandard used to structure a wide variety of ontologies, such as the OBO\nFoundry ontologies and the Common Core Ontologies (CCO). To enhance\ninteroperability between these two ontologies, their extensions, and data\norganized by them, an alignment is presented according to a specific mapping\ncriteria and methodology which prioritizes structural and semantic\nconsiderations. The ontology alignment is evaluated by checking its logical\nconsistency with canonical examples of PROV-O instances and querying terms that\ndo not satisfy the mapping criteria as formalized in SPARQL. A variety of\nsemantic web technologies are used in support of FAIR (Findable, Accessible,\nInteroperable, Reusable) principles.","PeriodicalId":501208,"journal":{"name":"arXiv - CS - Logic in Computer Science","volume":"109 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Mapping the Provenance Ontology to Basic Formal Ontology\",\"authors\":\"Tim PrudhommeKarl, Giacomo De ColleKarl, Austin LiebersKarl, Alec SculleyKarl, PeihongKarl, Xie, Sydney Cohen, John Beverley\",\"doi\":\"arxiv-2408.03866\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The Provenance Ontology (PROV-O) is a World Wide Web Consortium (W3C)\\nrecommended ontology used to structure data about provenance across a wide\\nvariety of domains. Basic Formal Ontology (BFO) is a top-level ontology ISO/IEC\\nstandard used to structure a wide variety of ontologies, such as the OBO\\nFoundry ontologies and the Common Core Ontologies (CCO). To enhance\\ninteroperability between these two ontologies, their extensions, and data\\norganized by them, an alignment is presented according to a specific mapping\\ncriteria and methodology which prioritizes structural and semantic\\nconsiderations. The ontology alignment is evaluated by checking its logical\\nconsistency with canonical examples of PROV-O instances and querying terms that\\ndo not satisfy the mapping criteria as formalized in SPARQL. A variety of\\nsemantic web technologies are used in support of FAIR (Findable, Accessible,\\nInteroperable, Reusable) principles.\",\"PeriodicalId\":501208,\"journal\":{\"name\":\"arXiv - CS - Logic in Computer Science\",\"volume\":\"109 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-08-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Logic in Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2408.03866\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Logic in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2408.03866","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Mapping the Provenance Ontology to Basic Formal Ontology
The Provenance Ontology (PROV-O) is a World Wide Web Consortium (W3C)
recommended ontology used to structure data about provenance across a wide
variety of domains. Basic Formal Ontology (BFO) is a top-level ontology ISO/IEC
standard used to structure a wide variety of ontologies, such as the OBO
Foundry ontologies and the Common Core Ontologies (CCO). To enhance
interoperability between these two ontologies, their extensions, and data
organized by them, an alignment is presented according to a specific mapping
criteria and methodology which prioritizes structural and semantic
considerations. The ontology alignment is evaluated by checking its logical
consistency with canonical examples of PROV-O instances and querying terms that
do not satisfy the mapping criteria as formalized in SPARQL. A variety of
semantic web technologies are used in support of FAIR (Findable, Accessible,
Interoperable, Reusable) principles.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
