Dept. of Computer Science, Vrije Universiteit Brussel, VUB, Pleinlaan 2, B1050 Brussels, Belgium;
机译:使用本体和基于规则的推理进行概念数据模型同义词检测:一个案例研究
机译:使用本体论和规则的概念数据模型的推理同义词检测:一个案例研究
机译:用归纳逻辑编程对Datalog±本体进行推理
机译:扩展概念逻辑计划的非单调本体论和规则的推理
机译:基于非单调的逻辑和规则的法律推理
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:基于扩展概念逻辑程序的非单调本体论和基于规则的推理
机译:LpNmR 2001 - 逻辑编程和非单调推理。国际会议(第六届)于2001年9月在奥地利维也纳举行