• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>MEDINFO >Logical Support for Terminological Modeling
【24h】

Logical Support for Terminological Modeling

机译：术语建模的逻辑支持

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Terminological modeling, in particular in medical domains, is difficult and has enjoyed growing attention over the recent past. In practice, logical reasoning can play a fundamental role to support the modeling process. Nevertheless, the development of the logical tools is usually driven by computational or theoretical criteria rather than by the direct needs of a modeler. In this paper we attempt to shift this balance and discuss a number of logical reasoning services to support the modeler of a (medical) terminology to construct a formally sound, complete and concise terminology. This modeling support is logical as it is based on reasoning services with respect to formally defined semantics. Practical results of this systematic discussion are formal definitions of several new reasoning tasks. 400Controlled Terminologies, Knowledge Representation
机译：特别是在医学领域的术语建模是困难的，并且在最近的过去甚至越来越受到关注。在实践中，逻辑推理可以发挥基本作用来支持建模过程。尽管如此，逻辑工具的发展通常由计算或理论标准而不是通过建模者的直接需求驱动。在本文中，我们试图将这种余额转移并讨论许多逻辑推理服务，以支持（医学）术语的建模者，以构建正式的声音，完整和简明的术语。这种建模支持是合乎逻辑的，因为它基于与正式定义的语义的推理服务。这种系统讨论的实际结果是几种新推理任务的正式定义。 400个控制术语，知识表示

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号