您的位置： 专家智库 > >

谭悦

作品数：1 被引量：2H指数：1
供职机构：上海大学计算机工程与科学学院更多>>
发文基金：上海市自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇描述逻辑

机构

  • 1篇上海大学

作者

  • 1篇刘炜
  • 1篇刘宗田
  • 1篇谭悦
  • 1篇丁宁

传媒

  • 1篇南京大学学报...

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于描述逻辑和要素投影的事件本体形式化方法被引量：2
2015年
文本事件的表示一直缺乏针对事件要素的有效表示和推理方法,采用传统描述逻辑对基于事件的知识进行形式化表示存在表达能力不足的问题.提出一种新的事件本体结构模型,在此基础上对描述逻辑的子语言SROIQ进行扩展,同时提出事件要素投影理论实现对事件本体的形式化.该方法利用SROIQ丰富的表达能力,将动态的事件转换为静态的复杂概念,既统一了事件与事件状态的表示方法,也建立起了事件之间、事件要素之间的语义关系.基于SROIQ的事件要素投影方法能够有效表示各领域的事件类、事件实例与事件要素,提取事件、事件关系在事件要素上的普遍规律,有助于领域事件本体的构建和形式化,以及针对事件要素的推理.
刘炜丁宁张雨嘉谭悦刘宗田
关键词：形式化
全选 清除 导出
共1页<1>
聚类工具0