Abstract
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 permit 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 the 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
The smart contract is compliant with the non-fungible token standard ERC721 and is available in the Ethereum main network at the address 0x36194ab80f7649572cab9ec524950df32f638b08. A Java API to publish and retrieve OSC is available at https://github.com/dfsantamaria/CLARA.
References
Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. Wiley, New York (2007)
Briola, D., Mascardi, V., Gioseffi, M.: OntologyBeanGenerator 5.0: Extending Ontology Concepts With Methods And Exceptions. In: Proceedings of the 19th Workshop “From Objects to Agents”, Palermo, Italy, June 28–29, pp. 116–123 (2018)
Cano-Benito, J., Cimmino, A., García-Castro, R.: Towards blockchain and semantic web. In: Abramowicz, W., Corchuelo, R. (eds.) Business Information Systems Workshops, pp. 220–231. Springer International Publishing, Cham (2019)
Cantone, D., Longo, C.F., Nicolosi-Asmundo, M., Santamaria, D.F., Santoro, S.: Towards an ontology-based framework for a behavior-oriented integration of the IoT. In: Proceedings of the 20th Workshop from Objects to Agents, 26–28 June, 2019, Parma, Italy, CEUR Workshop Proceeding, vol. 2404. pp. 119–126 (2019)
Cantone, D., Longo, C.F., Nicolosi-Asmundo, M., Santamaria, D.F., Santoro, C.: Ontological smart contracts in OASIS: ontology for agents, systems, and integration of services (extended version). In: CoRR (2021). arXiv:2012.01410
Christidis, K., Devetsikiotis, M.: Blockchains and smart contracts for the internet of things. IEEE Access 4, 2292–2303 (2016)
Esteva, M.: Electronic institutions: from specification to development. IIIA Monograph Series. Ph.D. Thesis vol. 19 (2003)
Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Appl. Artif. Intell. 853–866 (2004)
Hofweber, T.: Logic and ontology. In: Edward N. Zalta (ed.), The Stanford Encyclopaedia of Philosophy (Summer 2018 Edition) (2018)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning, pp. 57–67. AAAI Press (2006)
Kim, H., Laskowski, M.: Toward an ontology-driven blockchain design for supply-chain provenance. Intell. Syst. Acc. Finance Manag. 25(1), 18–27 (2018)
de Kruijff, J., Weigand, H.: Understanding the blockchain using enterprise ontology. In: CAiSE (2017)
Oberle, D., Guarino, N., Staab, S.: What is an ontology? Handbook on Ontologies. Springer, Berlin (2009)
Princeton University: WordNet, A Lexical Database for English (2010). https://wordnet.princeton.edu
Protocol Labs: The Interplanetary File Systems (IPFS). https://ipfs.io
Ricci, A., Piunti, M., Viroli, M., Omicini, A.: Environment Programming in CArtAgO. In: Multi-Agent Programming: Languages. Tools and Applications, pp. 259–288. Springer, Boston (2009)
Ruta, M., Scioscia, F., Ieva, S., Capurso, G., Pinto, A., Di Sciascio, E.: A blockchain infrastructure for the semantic web of things. In: 26th Italian Symposium on Advanced Database Systems (SEBD 2018) (2018)
Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9) (1997)
Ugarte Rojas, H.E.: A more pragmatic web 3.0: Linked blockchain data. In: Google Scholar (2017)
World Wide Web Consortium: SWRL: A Semantic Web Rule Language Combining OWL and RuleML (2004). http://www.w3.org/Submission/SWRL/
Xu, X., Weber, I., Staples, M., Zhu, L., Bosch, J., Bass, L., Pautasso, C., Rimba, P.: A taxonomy of blockchain-based systems for architecture design. In: 2017 IEEE International Conference on Software Architecture (ICSA), pp. 243–252. IEEE (2017). http://design.inf.usi.ch/sites/default/files/biblio/icsa2017-blockchain.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Cantone, D., Longo, C.F., Nicolosi Asmundo, M., Santamaria, D.F., Santoro, C. (2022). Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services. In: Camacho, D., Rosaci, D., Sarné, G.M.L., Versaci, M. (eds) Intelligent Distributed Computing XIV. IDC 2021. Studies in Computational Intelligence, vol 1026. Springer, Cham. https://doi.org/10.1007/978-3-030-96627-0_22
Download citation
DOI: https://doi.org/10.1007/978-3-030-96627-0_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-96626-3
Online ISBN: 978-3-030-96627-0
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)