...
机译:基于描述逻辑的自动推理的KDD数据准备
Universidad a Distancia de Madrid, Facultad de Ensenanzas Tecnicas, Camino de la Fonda, 20, 28400 Collado Villalba, Madrid, Spain;
Universidad a Distancia de Madrid, Facultad de Ensenanzas Tecnicas, Camino de la Fonda, 20, 28400 Collado Villalba, Madrid, Spain;
Universidad a Distancia de Madrid, Facultad de Ensenanzas Tecnicas, Camino de la Fonda, 20, 28400 Collado Villalba, Madrid, Spain;
Universidad Politecnica de Madrid, School of Computer Science, Campus de Montegancedo, s 28660 Boadilla del Monte, Madrid, Spain;
KDD; Data preparation; Data mining; Description logic; Automatic reasoning;
机译:使用判定图和分解数据记录的描述逻辑SHIQB的基于类型的基于逻辑的推理
机译:描述逻辑中大型知识库的基于分解的推理
机译:在描述逻辑中的XBRL元数据推理
机译:协同代理支持基于描述逻辑推理的自动物理数据库设计
机译:用于基于表格的描述逻辑推理的基于计划的公理吸收。
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:使用决策图和析取数据记录的描述逻辑SHIQb基于类型消除的推理
机译:最终报告UNIVaC文件计算机的一般描述和基本逻辑I空中交通管制/自动数据处理系统