OASIS 中的本体智能合约：面向智能体、系统与服务的集成本体（扩展版）

在本工作中，我们扩展了一个用于建模智能体及其交互的本体，称为面向智能体、系统与服务的集成本体（简称 OASIS），加入了条件式与本体智能合约（简称 OSCs）。OSCs 是智能合约的本体表示，允许在智能体之间建立责任与授权并设定协议，而条件式允许人们限制和约束智能体交互、定义触发智能体动作的激活机制，以及定义 OSCs 上的约束与合约条款。OASIS 中定义的条件式与 OSCs 被应用于以本体能力扩展数字公共账本（如区块链）及其上实现的智能合约。我们还将勾勒一个基于 OASIS 对 OSCs 的定义、利用以太坊平台与星际文件系统的框架架构。