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.

翻译：在这一贡献中,我们扩展了模拟代理人及其互动的本体学,称为 " 代理、系统和服务一体化的本体学 " (简称OASIS),配有有条件和本体智能合同(简称OSSCs),OSSC是智能合同的本体表现,允许在代理和订立协议之间确立责任和授权,而有条件允许限制和限制代理人的相互作用,界定触发代理行动的激活机制,并界定OSSCs的制约和合同条款。OASIS所界定的有条件和OSCs,适用于具有本体能力的数字公共分类账,如在该分类账上执行的链和智能合同。我们还将根据OASIS定义的利用Etheum平台和行星间档案系统的框架结构。