Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917594504626176 |
|---|---|
| author | Cantone, Domenico Longo, Carmelo Fabio Nicolosi-Asmundo, Marianna Santamaria, Daniele Francesco Santoro, Corrado |
| author_facet | Cantone, Domenico Longo, Carmelo Fabio Nicolosi-Asmundo, Marianna Santamaria, Daniele Francesco Santoro, Corrado |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2012_01410 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version) Cantone, Domenico Longo, Carmelo Fabio Nicolosi-Asmundo, Marianna Santamaria, Daniele Francesco Santoro, Corrado Artificial Intelligence 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. |
| title | Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version) |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2012.01410 |