×
哈默（Russ Harmer）;尤金妮亚·奥斯赫科

图的层次结构中的知识表示和更新。 （英语） Zbl 1441.68245号

J.日志。阿尔盖布。方法计划。 114，文章ID 100559，19 p.（2020）.
摘要：提出了一种数学理论，用于将知识表示为类别中对象的有向非循环层次结构，其中任何给定对象对之间的所有路径都必须相等。分析了以sesqui-pushout重写层次结构中对象的形式进行的知识更新可以传播到层次结构的其余部分以保持所有必需的路径相等的条件：一些重写必须沿箭头方向向前传播，而其他重写必须向后传播，与箭头方向相反，并且根据层次结构的精确形式，可能还需要某些可组合性条件。然后在两个重要用例的上下文中讨论了该理论在Python库中的实现，该库用于在节点和边上具有属性的（简单）有向图。

引用于4文件

MSC公司：

68立方英尺 知识表示
第68页，共15页 数据库理论
第68季度第42季度 语法和重写系统
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

知识表示;图的重写;图形数据库

软件：

openCypher（打开密码）
PDF格式BibTeX公司 XML格式引用
\textit｛R.Harmer｝和\textit｛E.Oshurko｝，J.Log。阿尔盖布。方法计划。114，文章ID 100559，19 p.（2020；Zbl 1441.68245）
全文： 内政部 arXiv公司

参考文献：

[1] 巴德，F。；Calvanee，D。；McGuinness，D。；Patel-Schneider，P。；Nardi，D.，《描述逻辑手册：理论、实现和应用》（2003），CUP·Zbl 1058.68107号
[2] Bonifati，A。；弗林斯，P。；格林，A。；哈默，R。；Oshurko，E。；Voigt，H.，图形数据库的模式验证和进化，（第38届概念建模国际会议（ER）（2019年）论文集）
[3] Chen，P.P.S.，实体关系模型——统一数据视图，ACM Trans。数据库系统。，1, 1, 9-36 (1976)
[4] Corradini，A。；海因德尔，T。；赫尔曼，F。；König，B.，Sesqui-pushout重写，（第三届图形变换国际会议论文集（2006），Springer），30-45·Zbl 1156.68423号
[5] Corradini，A。；蒙塔纳里，美国。；罗西，F。；Ehrig，H。；赫克尔，R。；Löwe，M.，图变换的代数方法第一部分：基本概念和双推出方法，（图语法和图变换计算手册：第1卷：基础（1997），世界科学），163-245
[6] Danos，V。；海因德尔，T。；Honorato-Zimmer，R。；Stucki，S.，可逆sesqui-pushout重写，（第七届图形变换国际会议论文集（2014），Springer），161-176·Zbl 1423.68227号
[7] Dyckhoff，R。；Tholen，W.，可指数态射，偏积和回拉补数，J.Pure Appl。代数，49，1-2，103-116（1987）·Zbl 0659.18003号
[8] Ehrig，H。；赫克尔，R。；科尔夫，M。；Löwe，M。；里贝罗，L。；瓦格纳。；Corradini，A.，图变换的代数方法第二部分：单推出方法和与双推出方法的比较，（图语法和图变换计算手册：第1卷：基础（1997），世界科学），247-312
[9] 弗朗西斯，N。；格林，A。；Guagliardo，P。；利布金，L。；Lindaaker，T。；马绍尔，V。；Plantikow，S。；里德伯格，M。；塞尔默，P。；Taylor，A.，Cypher:一种用于属性图的进化查询语言，（2018年国际数据管理会议（SIGMOD）（2018），ACM），1433-1445
[10] Harmer，R.，《基于规则的生物治疗元建模》（2017），《研究院院长的适应能力：法国里昂研究院院长的适应能力》
[11] 哈默，R。；Oshurko，E.，KAMIStudio:细胞信号知识生物化的环境，（系统生物学计算方法国际会议（CMSB）（2019），Springer），322-328
[12] 哈默，R。；Oshurko，E.，图的层次结构中的知识表示和更新，（第十二届图变换国际会议（2019）论文集，施普林格），141-158·Zbl 1429.68275号
[13] 哈默，R。；勒科内克，Y.S。；Légare，S。；Oshurko，E.，《细胞信号的生物固化：KAMI项目》，IEEE/ACM Trans。计算。生物信息学。，16, 1562-1573 (2019)
[14] Löwe，M.，《span-categories中的图形重写》，（2010年第五届图形变换国际会议论文集，Springer），218-233·Zbl 1306.68081号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。