程海涛；严，李；马宗民；斯洛博丹·里巴里奇 基于模糊Petri网的模糊时空本体和形式化构造。 （英语） Zbl 1427.68301号 计算。智力。 35，第1期，204-239（2019）. 摘要：模糊时空知识在GIS、时空数据库和人工智能等广泛的应用领域中是必不可少的。本体作为一种形式化的知识表示方法，在语义Web中起着关键作用。因此，如何扩展本体来表示模糊时空知识是一个亟待解决的问题。本文提出了一种用本体表示模糊时空知识的方法，并研究了基于模糊Petri网的模糊时空本体的形式化构造。首先，我们提出了模糊时空本体的形式化定义。此外，基于模糊描述逻辑，提出了一种称为模糊时空描述逻辑的描述逻辑，为模糊时空本体提供了逻辑基础。此外，还提出了一种模糊时空web本体语言，该语言是标准本体语言OWL的模糊时空扩展，使模糊时空本体易于使用并支持高效推理。基于模糊时空本体，我们研究了一种从模糊时空Petri网构造模糊时空本体的形式化方法，即转换模糊时空Petro网（包括Petri网模型和Petri网实例）在结构和实例两个层次上都可以划分为模糊时空本体。最后，我们证明了转换的正确性，并提供了一个详细的转换示例。 MSC公司： 68立方英尺 知识表示 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68层37 人工智能背景下的不确定性推理 关键词：建设；模糊Petri网；模糊时空本体；本体；语义网 PDF格式BibTeX公司 XML格式引用 \textit{H.Cheng}等人，计算。智力。35，第1号，204--239（2019；Zbl 1427.68301） 全文： 内政部