分布式描述逻辑

✍ dations ◷ 2025-06-28 01:34:22 #分布式描述逻辑

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

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

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

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

相关

  • 宗教自由世俗或俗世(Secular)是指脱离宗教组织控制的生活状态。譬如,饮食和沐浴可被视作是世俗活动的例子,因为其日常生活大部分与宗教信仰无关。然而,在某些宗教传统中,饮食和沐浴两者都
  • 剑麻剑麻(学名:Agave sisalana)又名菠萝麻、琼麻、衿麻,是龙舌兰科龙舌兰属的一种植物。1901年由美国领事达文生先生自夏威夷间接引进原产于中美洲的琼麻至台湾。纤维经济作物。
  • 奥乔科奥乔科国家森林(英语:Ochoco National Forest)位于美国俄勒冈州中部、普赖恩维尔(英语:Prineville, Oregon)东北方向。森林面积850,000英亩(3,440平方千米),内有崖岩(rimrock)、峡谷、
  • 英国独立党英国独立党(英语:UK Independence Party,缩写为UKIP)是英国的一个右翼民粹主义政党。该党主要的政治理念是推动英国脱离欧盟。该党成立之初便以使英国脱离欧盟为目标,支持透过举
  • 冲动 (心理学)冲动是由多重因素组成的架构(英语:Construct (philosophy of science))。这个架构包含基于一时的渴望、点子、想法而行动的倾向。行为特征包括没有预想、预先规划、深思熟虑、
  • 大日本史《大日本史》是日本的一部纪传体史书,成书于江户时代,作者是水户藩藩主德川光圀。这部史书用汉文撰写,在1715年德川光圀死后由水户藩藩主主持继续编纂,于明治时代完成。1715年,水
  • 黄恩茹黄恩茹(1997年5月5日-),就读于中国传媒大学,中国大型女子偶像团体SNH48的成员,所属队伍为Team SII。她2016年7月16日,加入BEJ48一期生。10月1日,加入BEJ48 Team J。10月29日,于《专属
  • 国际失踪儿童日国际失踪儿童日(英语:International Missing Children's Day)是每年的5月25日,与美国全国失踪儿童日是同一天。1983年,时任美国总统罗纳德·里根为了纪念震惊全美的伊坦·帕兹失
  • 杰克·基利约翰·F·基利(英语:John F. Kiley,1929年1月5日-1982年2月16日),美国NBA联盟前职业篮球运动员。他在1951年的NBA选秀中第2轮第13顺位被韦恩堡活塞选中。
  • 陈恬陈恬(6世纪-?),南北朝人,字承惔,陈后主的第十一子,龚贵嫔所生,陈虔之弟。祯明元年(587年)正月十一辛巳日,立为钱塘王,邑一千户。祯明三年(589年)隋平南陈。和其他宗室一起被迁移长安,陈恬最后在长安去世。《陈书》卷二十八 列传第二十二 世祖九王 高宗二十九王 后主十一子