分布式描述邏輯

分布式描述邏輯（Distributed Description Logic，DDL）是描述邏輯的一種特例。在DDL中，整個邏輯系統由一組DL單元組成，相互之間用橋（Bridge Rule）相互連接。

DDL的主要特點是語義的局部性，也就是說在DDL中並不要求存在一致的全局語義。傳統的Tableau推理算法可以推廣到DDL的情況。

DDL是基於分布式一階邏輯而發展起來的，而它也繼承了分布式一階邏輯的一些缺點。例如，其表達力比較有限，橋規則只能用於連接概念。比它表達力強的類似模塊化本體語言還有基於包的描述邏輯和E-連接

C-OWL是DDL的一種語法形式。