分佈式描述邏輯

分佈式描述邏輯 （ Distributed Description Logic ， DDL ） 是描述邏輯的一種特例 。 在DDL中 ， 整個邏輯系統由一組DL單元組成 ， 相互之間用橋 （ Bridge Rule ） 相互連接 。 DDL的主要特點是語義的局部性 ， 也就是說在DDL中並不要求存在一致的全局語義 。 傳統的Tableau推理算法可以推廣到DDL的情況 。 DDL是基於分佈式一階邏輯而發展起來的 ， 而它也繼承了分佈式一階邏輯的一些缺點 。 例如 ， 其表達力比較有限 ， 橋規則只能用於連接概念 。 比它表達力強的類似模塊化本體語言還有基於包的描述邏輯和E - 連接 C - OWL是DDL的一種語法形式 。 category: 邏輯語言