用Python工具箱在语义图上构建可推理的佩特里网
A Python toolkit for dealing with Petri nets over ontological graphs
- 将本体知识嵌入佩特里网，用语义关系增强建模能力
- 基于OWL 2本体构建语义图，支持动态过程建模
- 适合需要语义推理的系统建模与自动化控制研究者
我们提出了语义图上的佩特里网的理论基础，并设计实现了相应的Python工具箱。在该框架中，领域知识以本体形式封装，使语义关系等有价值信息可通过佩特里网参与模型推理与控制过程。工具通过遵循OWL 2 Web本体语言构建的本体生成语义图，支持用户定义语义图上佩特里网的结构与动态行为，实现对复杂系统的语义化建模。
原文摘要 · Abstract (English)
We present theoretical rudiments of Petri nets over ontological graphs as well as the designed and implemented Python toolkit for dealing with such nets. In Petri nets over ontological graphs, the domain knowledge is enclosed in a form of ontologies. In this way, some valuable knowledge (especially in terms of semantic relations) can be added to model reasoning and control processes by means of Petri nets. In the implemented approach, ontological graphs are obtained from ontologies built in accordance with the OWL 2 Web Ontology Language. The implemented tool enables the users to define the structure and dynamics of Petri nets over ontological graphs.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。