分布式描述逻辑

✍ dations ◷ 2025-08-26 17:54:42 #分布式描述逻辑

分布式描述逻辑(Distributed Description Logic,DDL)是描述逻辑的一种特例。在DDL中,整个逻辑系统由一组DL单元组成,相互之间用桥(Bridge Rule)相互连接。

DDL的主要特点是语义的局部性,也就是说在DDL中并不要求存在一致的全局语义。传统的Tableau推理算法可以推广到DDL的情况。

DDL是基于分布式一阶逻辑而发展起来的,而它也继承了分布式一阶逻辑的一些缺点。例如,其表达力比较有限,桥规则只能用于连接概念。比它表达力强的类似模块化本体语言还有基于包的描述逻辑和E-连接

C-OWL是DDL的一种语法形式。

相关

  • 亚洲奥林匹克理事会亚洲奥林匹克理事会(英语:Olympic Council of Asia,缩写OCA),简称亚洲奥会或亚奥理事会,是国际奥委会授权,管理亚洲地区的奥运会、洲际赛事和国际体育赛事,并负责亚洲地区奥运的发展
  • 收入差距贫富差距(亦称为贫富不均、经济不平等和国民收入不均等)是指一个群体里面每个人之间的经济资产(财富)及收入的分配不均等。本用词一般是指一个社会里面个人或群体之间的收入差距
  • 祁剧祁剧,又称为“祁阳剧”、“邵阳祁剧”、“湖南班子”,是一个在湖南祁阳形成的地方剧种。祁剧是揉合了唱功及做手的表演艺术。它广泛流传于湘、赣、粤、桂四省。祁剧的行当分为
  • 印度洋-太平洋海域印度洋-太平洋海域(英语:Indo-Pacific)或称印度-太平洋暖水区,是生物地理学世界海洋动物区系的一个分区。区域大约位于北纬40度至南纬40度之间,其东南部因受秘鲁寒流影响,南界明显
  • 亚历山大·伊万诺维奇·季贾科夫亚历山大·伊万诺维奇·季贾科夫(俄语:Алекса́ндр Ива́нович Тизяко́в,(1926年12月10日—2019年1月25日)苏联国营企业和工业、建筑、运输、邮电设施
  • 克鲁斯卡尔坐标系克鲁斯卡尔坐标系(或称作克鲁斯卡尔-塞凯赖什坐标系,英文Kruskal coordinates或Kruskal-Szekeres coordinates)是在史瓦西度规下建立的一种坐标系,名称来自于美国数学物理学家马
  • 双唇挤喉塞音双唇挤喉音(Bilabial ejective)是辅音的一种,用于一些口语中。用于表示此音的国际音标(IPA)是⟨pʼ⟩,其等价的X-SAMPA音标为p_>。双唇挤喉塞音的特征包括:除了以下列出的语言以外,此音还常出现于埃塞俄比亚闪米特语支(英语:Ethiopian Semitic languages)的语言中。当符号成对出现时,左边的是清音,右边的是浊音。阴影区域表示被认为是不可能的发音。表内成对的元音分别为不圆唇/圆唇。
  • 地角线地角线,亦称 地角(skirt)、地角线、地角板等,是一种加装在室内墙角处的装饰层,通常高10至20厘米,可能采用木条、瓷砖、金属或水泥条等制成。其功能包括遮挡墙面与地面之间的界线,遮盖为地板热胀冷缩而预留的间隙或者墙角处不平整的地板材料,以及保护墙角免受脚踢、擦碰、家具刮碰等机械损伤,并起到装饰作用。
  • AFD (消歧义)AFD可指:
  • 藤井斋藤井斋(ふじい ひとし,1904年8月3日-1932年2月5日),大日本帝国海军军人,毕业于海军兵学校。藤井斋最终在一二八事件中阵亡。。他的最终军衔是海军少佐。藤井斋的父亲是一位煤矿主,但后来事业不顺。藤井斋由他的祖父以及亲戚山口半六抚养长大。藤井斋从佐贺县立佐贺西高等学(日语:佐賀県立佐賀西高等学校)毕业后,山口半六建议藤井斋当个外交官。但最终藤井斋成为了一名海军士官。后来藤井斋前往海军兵学校就读。1925年(大正14年)7月,藤井斋从海军兵学校毕业。后来藤井斋成为由良号轻巡洋舰的一员。1926年12月