分布式描述逻辑

✍ dations ◷ 2025-07-21 09:35:48 #分布式描述逻辑

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

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

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

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

相关

  • 伊朗发生击落乌克兰客机事件除特别注明外,本文所有时间均以东三区时间(UTC+3)为准。乌克兰国际航空752号班机空难(Ukraine International Airlines Flight 752),指2020年1月8日一架隶属乌克兰国际航空的波音7
  • 美国海军特种作战研究大队海豹部队第六分队 紧急狂暴行动贝鲁特人质危机阿基莱·劳伦号事件美国海军特种作战开发组 (英语:United States Naval Special Warfare Development Group,缩写:NSWDG,常用缩写:DE
  • 德舒特国家森林德舒特国家森林(英语:Deschutes National Forest)是一座美国国家森林,地处俄勒冈州中部的德舒特县、克拉马斯县、莱克县和杰佛逊县,面积1.8 × 106英亩(7,300平方千米),位于喀斯喀
  • 老圣尼古拉堂坐标:50°06′36″N 8°40′56″E / 50.11000°N 8.68222°E / 50.11000; 8.68222老圣尼古拉堂 (德语:) 是德国法兰克福的一座路德宗教堂,位于法兰克福老城的罗马广场,靠近法兰
  • 自治监督区自治监督区(拉丁语:Praelatura territorialis)是天主教地区教会的一种形式。作为自治监督区该地区的教会直属于教宗而非教区主教。如同教区由主教管理般,自治监督区是由教宗任命
  • 超峰超峰是天文学中激变变星系统的周期性亮度变化,其周期只在轨道周期的百分之几以内变动。超峰首次出现在大熊座SU,这是矮新星的一个子类。有时,联星系统发生超级爆发,这是由吸积率
  • 天螺属天螺属(学名:)是一个海螺的属,属于天螺科的海洋腹足纲软体动物。下列部分本属物种:如同其他同属天螺科的物种,本属物种的螺壳亦属小型,呈高圆锥形。壳口单纯,外唇不肥厚,也不形成水管
  • 维克托·萨夫罗诺夫维克托·谢尔盖耶维奇·萨夫罗诺夫(俄语:Виктор Сергеевич Сафронов,1917年10月11日-1999年9月18日)是一位苏联籍俄罗斯天文学家。他提出了行星形成的低
  • 簡·里斯簡·里斯 CBE(Jean Rhys,/riːs/;1890年8月24日-1979年5月14日),出生名为艾拉·格溫多琳·里斯·威廉斯(Ella Gwendolyn Rees Williams)是一名出身英国治下多米尼克罗索的20世纪女性
  • 飓风伊万</noinclude>飓风伊万是一场规模庞大且持续时间很长的佛得角型飓,于2004年9月对加勒比海和美国大范围地区造成严重破坏,也是2004年大西洋飓风季形成的第9个获得命名的风暴、第6场飓风和第4场大型飓风。伊万出生于9月初,达到了萨菲尔-辛普森飓风风力等级 (SSHS) 的五级强度。伊万为强三级风暴在格林纳达造成灾难性破坏,在牙买加为四级风暴造成严重破坏,然后在大开曼岛、开曼群岛和古巴西端为五级飓风造成严重破坏。飓风强度达到顶峰后,向北偏西方向移动穿过墨西哥湾,以3级风暴袭击彭萨科拉/米