机译:基于描述逻辑和基于F逻辑的本体之间的关系
Faculty of Computer Science Free University of Bozen-Bolzano, Piazza Domenicani 3, Bolzano, Italy;
frame logic; ontology translation; ontology meta-modeling; equality-safe formulas; semantic web language layering; f-logic programming;
机译:用于具体域和模糊域本体的基于描述逻辑的知识合并
机译:通用超越逻辑基础物质
机译:通用超越逻辑基础物质
机译:测量基于描述逻辑的本体中的不一致性
机译:基于描述逻辑的本体的不确定性管理
机译:基于逻辑的UMLS本体源兼容性评估
机译:针对具体领域和模糊领域本体的基于描述逻辑的知识合并