您的位置： 专家智库 > >

陈宇

作品数：2 被引量：0H指数：0
供职机构：济南大学信息科学与工程学院更多>>
发文基金：博士科研启动基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇动态描述逻辑
  • 2篇自动生成
  • 2篇自动生成方法
  • 2篇描述逻辑
  • 2篇PETRI网
  • 1篇本体
  • 1篇本体推理
  • 1篇OWL
  • 1篇PNML

机构

  • 2篇济南大学

作者

  • 2篇马炳先
  • 2篇陈宇
  • 2篇于代荣

传媒

  • 1篇系统仿真学报
  • 1篇第十二届全国...

年份

  • 1篇2009
  • 1篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
动态描述逻辑动作系统的Petri网自动生成方法
2008年
动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模型自动生成问题,利用领域本体对动态描述逻辑动作的条件进行本体定义,通过本体推理,得到不同动作间的条件定义中的相同或等价元素,进一步,自动构造得到动作系统的Petri网的PNML+OWL描述。
马炳先于代荣陈宇
关键词：PETRI网PNMLOWL
动态描述逻辑动作系统的Petri网自动生成方法
动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模...
马炳先于代荣陈宇
关键词：PETRI网自动生成本体推理
文献传递
全选 清除 导出
共1页<1>
聚类工具0