论文标题
绿洲的本体智能合约：代理，系统和服务集成的本体论（扩展版）
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
论文作者
论文摘要
在这项贡献中，我们扩展了一个用于建模代理及其相互作用的本体论，即代理，系统和服务集成（简而言之），与条件和本体论智能合约（简而言之）（简而言之）。 OSC是智能合约的本体论表示，允许在代理和设定协议之间建立职责和授权，而有条件允许一个人限制和限制代理相互作用，定义激活机制来触发代理行动，并在OSC上定义约束和合同条款。绿洲定义的条件和OSC被应用于本体论能力数字公共分类帐，例如在其上实施的区块链和智能合约。我们还将根据利用以太坊平台和行星际文件系统的OSC的绿洲定义来绘制框架的体系结构。
In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with conditionals and ontological smart contracts (in short, OSCs). OSCs are ontological representations of smart contracts that allow to establish responsibilities and authorizations among agents and set agreements, whereas conditionals allow one to restrict and limit agent interactions, define activation mechanisms that trigger agent actions, and define constraints and contract terms on OSCs. Conditionals and OSCs, as defined in OASIS, are applied to extend with ontological capabilities digital public ledgers such as the blockchain and smart contracts implemented on it. We will also sketch the architecture of a framework based on the OASIS definition of OSCs that exploits the Ethereum platform and the Interplanetary File System.
