动态描述逻辑动作系统的Petri网自动生成方法

Automatic Modeling Dynamic Description Logic Actions System with Petri Nets

动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模型自动生成问题,利用领域本体对动态描述逻辑动作的条件进行本体定义,通过本体推理,得到不同动作间的条件定义中的相同或等价元素,进一步,自动构造得到动作系统的Petri网的PNML+OWL描述。

Dynamic description logic actions theory provides a solid foundation and effective technique for static definition and dynamic execution of actions.As the extension of dynamic description logic,Petri nets are suitable for modeling and analyzing relationships among multi dynamic description logic actions.Automatic generation of Petri nets system for dynamic description logic actions system is studied.The conditions of dynamic description logic actions are defined with their ontology.As a result,by ontology reasoning,the same or equivalent conditions defined by different actions are obtained.Furthermore,PNML+OWL description for Petri net of dynamic description logic actions system is constructed automatically.