Description logic; Concrete domains; GCIs; ω-admissibility; Homogeneity; Finite boundedness; Decidability; Constraint satisfaction;
机译:在最小描述逻辑中的角色值映射和一般概念夹杂物,其值限制或重新识别DL橱柜中的旧骨架
机译:使用模糊具体域学习描述逻辑
机译:具有具体域和通用TBox的描述逻辑的Tableau算法
机译:用于轻量级描述逻辑的P-可允许混凝土域的代数视图
机译:用组合逻辑单元编译AHPL描述,以建立可编程逻辑阵列的路径。
机译:SNOMED RT中临床概念的描述逻辑表达的范式。
机译:描述具有混凝土域和一般概念夹杂物的逻辑重新审视