弗协调认知逻辑 paraconsistent epistemic logic
认知逻辑 Epistemic logic; Cognitive logics; epistemic logics
时态认知逻辑 temporal epistemic logics; Temporal Logics of Knowledge; temporal epistemic logic
动态描述逻辑 dynamic description logic
动态描述逻辑DDL dynamic description logic
分布式动态描述逻辑 distributed dynamic description logic
扩展模糊描述逻辑 extended fuzzy description logic
逻辑描述 logic sescription; logic description; logical description
逻辑描述符 logical descriptor
逻辑描述语言 LDL Logic Description Language
描述逻辑 Description logics; description logic; Description Logic DL; description logical; rough sets; Descriptic logic; DLS
描述逻辑公式 description logic formulae
描述逻辑规则 DL rule
描述逻辑推理 DL reasoning
模糊描述逻辑 fuzzy description logics; fuzzy description logic
任意拉格朗日-欧拉描述(ALE描述) arbitrary Lagrangian-Eulerlian description
时空描述逻辑 Spatio-temporal description logic
时序描述逻辑 temporal description logic
实体逻辑描述 physical logic description; PLD