{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,6,6]]，“日期-时间”：“2024-06-06T21:19:02Z”，“时间戳”：1717708742410}，“引用-计数”：0，“出版商”：“牛津大学出版社（OUP）”，“问题”：“2”，“内容-域”：{-“域”：[]，“交叉标记限制”：false}，”short-container title“：[]，“已出版印刷品”：｛“日期部分”：[[2004,1,22]｝，“摘要”：“摘要<\/jats:title>\n动机：爱丁堡小鼠地图集和基因表达数据库项目开发了小鼠发育数字地图集，为原位基因表达和细胞谱系等空间映射数据提供时空框架。作为这个数据库的一部分，已经创建了一个小鼠胚胎解剖学本体。需要对这种解剖结构进行形式化，以记录其精确的语义以及如何在鼠标地图集的上下文中使用它<\/jats:p>\n结果：本文描述了现有的解剖本体，并使用基于谓词逻辑的方法形式化了其各个方面。因此，它为当前版本本体的用户提供了一个指南，并为使用本体语言（如OWL）描述解剖结构提供了基础，从而使未来的工作能够在智能基因表达生物信息学工作流系统的背景下推理鼠标图谱。该逻辑已在Prolog原型中实现<\/jats:p>\n可用性：鼠标地图集可在线获取，网址为http://\/genex.hgu.mrc.ac.uk<\/jats:p>“，”DOI“：”10.1093\/bioinformations\/btg400“，”type“：”journal-article“，”created“：{”date-parts“：[[2004,1,20]]，”date-time“：”2004-01-20T21:07:58Z“，”timestamp“：1074632878000}，”page“：“259-267”，”source“”：”Crossref“，”is-referenced-by-count“：31，”标题“：[”小鼠胚胎解剖的形式化“]，”前缀“：”10.1093“，”卷“：”20“，”作者“：[{”给定“：”阿尔伯特“，”家族“：”汉堡“，”序列“：”第一“，”从属“：[]}，{”给出“：”邓肯“，”家庭“：”戴维森“，”顺序“：”附加“，”隶属“：[]}，”给定““：”理查德“，”家人“：”巴尔多克“，”序号“：”额外“，”附属“：[]}]，”成员“：”286“，”published-online“：{“date-parts”：[[2004,1,22]]}，“container-title”：[“生物信息学”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/cademicial.oup.com/bioninformations\/article-pdf\/20\/259\/48905243\/Bioinformatics_2_259.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”，“intended-d”应用程序“：”联合“}，{“URL”：“https:\/\/cademicial.oup.com/bioinformatics\/article-pdf\/20\/2259\/48905243\/bioinformatics_2_259.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[2023,1,25]]，“date-time”：“2023-01-25T18:46:40Z”，“timestamp”：1674672400000}，“score”：1，“资源“：{“primary”：{”URL“：”https:\/\/cademicial.oup.com/bioinformatics\/article\/20\/2259\/204921“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2004,1,22]]}，“参考计数”：0，”日志发布“：/10.1093 \/生物信息学\/btg400“，”关系“：{}，”ISSN“：[”1367-4811“，”1367-4803“]，“issn-type”：[{“value”：“1367-4811”，“type”:“electronic”}，{“value”：“367-4803”，“type”：“print”}]，“subject”：[]，“published-other”：{“date-parts”：[[2004,1,22]]}，“publish”：{“date-ports”：[2004,1,22]]}}}