Decentralised ledgers are gaining momentum following the interest of industries and people in smart contracts. Major attention is paid to blockchain applications intended for trading assets that exploit digital cryptographic certificates called tokens. Particularly relevant tokens are the non-fungible tokens (NFTs), namely, unique and non-replicable tokens used to represent the cryptographic counterpart of assets ranging from pieces of art through to licenses and certifications. A relevant consequence of the hard-coded nature of blockchains is the hardness of probing, in particular when advanced searchers involving the capabilities of the smart contracts or the assets digitised by NFTs are required. For this purpose, a formal representation for the operational semantics of smart contracts and of tokens has become particularly urgent, especially in economy and finance, where blockchains become increasingly relevant. Hence, we feel the need to tailor Semantic Web technologies to achieve that semantic representation at least for NFTS.
This article reports on an ontology that leverages the Ontology for Agents, Systems, and Integration of Services (“OASIS”) towards the semantic representation of smart contracts responsible for managing ERC721-compliant NFTs and running on the Ethereum blockchain. Called Ether-OASIS, the proposed ontology adopts OASIS and tailors its behaviouristic approach to the Ethereum blockchain by conceiving smart contracts as agents running on the blockchain and, consequently, smart contract interactions as agent commitments. Smart contracts are represented in terms of their actions, purposes and tokens that they manage, thus realising a blockchain that is more usable both by users and automated applications. The ontology is evaluated using standard ontological metrics and applied on a case study concerning the minting and transferring of NFTs that digitise batches of wheat.
Aswini, R. & Padmapriya, N. (2021). Semantic and blockchain technology. In Advanced Concepts, Methods, and Applications in Semantic Computing (pp. 50–71). ISBN 9781799866992.
2.
Baqa, H., Truong, N., Crespi, N., Lee, G.M. & Le Gall, F. (2019). Semantic smart contracts for blockchain-based services in the Internet of Things. In 2019 IEEE 18th International Symposium on Network Computing and Applications (NCA) (pp. 1–5). doi:10.1109/NCA.2019.8935016.
3.
Bella, G., Cantone, D., Longo, C., Nicolosi Asmundo, M. & Santamaria, D.F. (2021). Semantic Representation as a Key Enabler for Blockchain-Based Commerce. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) LNCS (Vol. 13072, pp. 191–198). doi:10.1007/978-3-030-92916-9_17.
4.
Bella, G., Cantone, D., Longo, C., Nicolosi Asmundo, M. & Santamaria, D.F. (2022). Blockchains through ontologies: The case study of the Ethereum ERC721 standard in oasis. Studies in Computational Intelligence, 1026, 249–259. doi:10.1007/978-3-030-96627-0_23.
5.
Bella, G., Cantone, D., Longo, C.F., Nicolosi-Asmundo, M. & Santamaria, D.F. (2023a). The ontology for agents, systems and integration of services: OASIS version 2. Intelligenza Artificiale, 17(1), 51–62. doi:10.3233/IA-230002.
6.
Bella, G., Cantone, D., Nicolosi Asmundo, M. & Santamaria, D.F. (2022). The Ontology for Agents, Systems and Integration of Services: Recent Advancements of OASIS. In 23rd Workshop from Objects to Agents, WOA 2022, Genova, 1–3 September 2022 (Vol. 3261, pp. 176–193). CEUR–WS. ISSN 16130073.
7.
Bella, G., Cantone, D., Nicolosi-Asmundo, M. & Santamaria, D.F. (2021). Ether-OASIS ontology. https://github.com/dfsantamaria/OASIS.git.
8.
Bella, G., Castiglione, G. & Santamaria, D.F. (2023b). A behaviouristic approach to representing processes and procedures in the OASIS 2 ontology. In Proceedings of the Joint Ontology Workshops 2023, Episode IX: The Quebec Summer of Ontology, Co-Located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Sherbrooke, Québec, Canada, July 19–20, 2023. CEUR Workshop Proceedings (Vol. 3637, pp. 1–17).
9.
Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F. & Mylopoulos, J. (2004). Tropos: An agent-oriented software development methodology. Autonomous Agents Multi Agent Systems, 8(3), 203–236. doi:10.1023/B:AGNT.0000018806.20944.ef.
10.
Cano-Benito, J., Cimmino, A. & Garcia-Castro, R. (2019). Towards blockchain and Semantic Web. In W.Abramowicz and R.Corchuelo (Eds.), Business Information Systems Workshops (pp. 220–231). Cham: Springer. doi:10.1007/978-3-030-36691-9_19.
11.
Cano-Benito, J., Cimmino, A. & García-Castro, R. (2021). Toward the ontological modeling of smart contracts: A solidity use case. IEEE Access, 9, 140156–140172. doi:10.1109/ACCESS.2021.3115577.
12.
Cantone, D., Longo, C., Nicolosi-Asmundo, M. & Santamaria, D.F. (2015). Web Ontology Representation and Reasoning via Fragments of Set Theory. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9209, pp. 61–76). ISBN 978-331922001-7. doi:10.1007/978-3-319-22002-4_6.
13.
Cantone, D., Longo, C.F., Nicolosi-Asmundo, M., Santamaria, D.F. & Santoro, C. (2019). Towards an ontology-based framework for a behavior-oriented integration of the IoT. In 20th Workshop from Objects to Agents, WOA 2019, Parma, 26–28 June 2019 (Vol. 2404, pp. 119–126). CEUR–WS. ISSN 16130073.
14.
Cantone, D., Longo, C.F., Nicolosi-Asmundo, M., Santamaria, D.F. & Santoro, C. (2021a). Ontology for Agent, Systems, and Integration of Services (OASIS) – project page. https://github.com/dfsantamaria/OASIS.git.
15.
Cantone, D., Longo, C.F., Nicolosi-Asmundo, M., Santamaria, D.F. & Santoro, C. (2021b). OASIS-Abox ontology. https://github.com/dfsantamaria/OASIS.git.
16.
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 D.Camacho, et al. (Eds.), Intelligent Distributed Computing XIV. Studies in Computational Intelligence (Vol. 1026, pp. 237–247). doi:10.1007/978-3-030-96627-0_22.
17.
Cantone, D., Nicolosi-Asmundo, M. & Santamaria, D.F. (2016). Conjunctive query answering via a fragment of set theory. In 17th Italian Conference on Theoretical Computer Science, ICTCS 2016, Lecce, 7–9 September 2016 (Vol. 1720, pp. 23–35). CEUR–WS. ISSN 16130073.
18.
Cantone, D., Nicolosi-Asmundo, M. & Santamaria, D.F. (2017). A Set-Theoretic Approach to ABox Reasoning Services. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) LNCS (Vol. 10364, pp. 87–102). doi:10.1007/978-3-319-61252-2_7.
19.
Christidis, K. & Devetsikiotis, M. (2016). Blockchains and smart contracts for the Internet of Things. IEEE Access, 4, 2292–2303. doi:10.1109/ACCESS.2016.2566339.
20.
de Kruijff, J. & Weigand, H. (2017). Understanding the blockchain using enterprise ontology. In CAiSE.
21.
English, M.D., Auer, S. & Domingue, J. (2016). Blockchain technologies & the Semantic Web: A framework for symbiotic development. In J.Lehmann, H.Thakkar, L.Halilaj and R.Asmat (Eds.), Computer Science Conference for University of Bonn Students (pp. 47–61).
22.
Ethereum (2021). Standart token non fungible ERC-721, last visit on 29/01/2022. https://ethereum.org/it/developers/docs/standards/tokens/erc-721/.
23.
Fill, H.G. (2019). Applying the concept of knowledge blockchains to ontologies. In AAAI Spring Symposium: Combining Machine Learning with. Knowledge Engineering.
24.
Gangemi, A., Guarino, N., Masolo, C., Oltramari, A. & Schneider, L. (2002). Sweetening ontologies with DOLCE. In A.Gómez-Pérez and V.R.Benjamins (Eds.), Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web: 13th International Conference, EKAW 2002 Sigüenza, Spain, October 1–4, 2002. Proceedings (pp. 166–181). Springer.
25.
Garcia, J., Garcia-Peñalvo, F.J. & Therón, R. (2010). A survey on ontology metrics. In M.D.Lytras, P.Ordonez De Pablos, A.Ziderman, A.Roulstone, H.Maurer and J.B.Imber (Eds.), Knowledge Management, Information Systems, E-Learning, and Sustainability Research (pp. 22–27). Berlin Heidelberg: Springer. ISBN 978-3-642-16318-0. doi:10.1007/978-3-642-16318-0_4.
26.
Glimm, B., Horrocks, I., Motik, B., Stoilos, G. & Wang, Z. (2014). HermiT: An OWL 2 reasoner. Journal of Automated Reasoning, 53(3), 245–269. doi:10.1007/s10817-014-9305-1.
27.
Kim, H.M. & Laskowski, M. (2018). Toward an ontology-driven blockchain design for supply-chain provenance. Int. Syst. in Accounting, Finance and Management, 25(1), 18–27.
28.
Musen, M.A. (2015). The protégé project: A look back and a look forward. AI Matters, 1(4), 4–12. doi:10.1145/2757001.2757003.
29.
NGI-ONTOCHAIN (2020). ONTOCHAIN a new software ecosystem for trusted, traceable & transparent ontological knowledge. https://ontochain.ngi.eu/.
30.
Pfeffer, J., Beregszazi, A. & Li, S. (2016). Ethon – an ethereum ontology. Available on-line: https://ethon.consensys.net/index.html.
31.
Ruta, M., Scioscia, F., Ieva, S., Capurso, G., Pinto, A. & Di Sciascio, E. (2018). A blockchain infrastructure for the Semantic Web of Things. In 26th Italian Symposium on Advanced Database Systems (SEBD 2018).
32.
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A. & Katz, Y. (2007). Pellet: A practical OWL-DL reasoner. Web Semantics, 5(2), 51–53. doi:10.1016/j.websem.2007.03.004.
33.
Statista (2024). NFT – worldwide, last visit on 15/03/2024. https://www.statista.com/outlook/fmo/digital-assets/nft/worldwide.
34.
Szabo, N. (1997). Formalizing and securing relationships on public networks. First Monday, 2(9). doi:10.5210/fm.v2i9.548.
35.
Tartir, S., Arpinar, I.B., Moore, M., Sheth, A.P. & Aleman-Meza, B. (2005). OntoQA: Metric-based ontology quality analysis. In Proceedings of IEEE Workshop on Knowledge Acquisition from Distributed, Autonomous, Semantically Heterogeneous Data and Knowledge Sources.
36.
Tom’s Hardware (2022). Minecraft NFT game blockverse evaporates with $1 million, last visit on 31/01/2022. https://www.tomshardware.com/news/minecraft-nft-game-blockverse-evaporates-with-1-million.
37.
Tsarkov, D. & Horrocks, I. (2006). FaCT++ description logic reasoner: System description. In A.Reasoning, U.Furbach and N.Shankar (Eds.), Automated Reasoning (pp. 292–297). Berlin Heidelberg: Springer. ISBN 978-3-540-37188-5.
38.
Ugarte Rojas, H.E. (2017). A more pragmatic web 3.0: Linked blockchain data. In Google Scholar.
39.
van Riemsdijk, M.B., Dastani, M. & Winikoff, M. (2008). Goals in agent systems: A unifying framework. In AAMAS 08, International Foundation for Autonomous Agents and Multiagent Systems (pp. 713–720). ISBN 9780981738116.
40.
Wooldridge, M. & Jennings, N. (1995). Intelligent agents: Theory and practice. Knowledge Engineering Review, 10(2), 115–152. doi:10.1017/S0269888900008122.
41.
World Wide Web Consortium (2004). SWRL: A Semantic Web Rule Language Combining OWL and RuleML. http://www.w3.org/Submission/SWRL/.
42.
Xu, X., Weber, I., Staples, M., Zhu, L., Bosch, J., Bass, L., Pautasso, C. & Rimba, P. (2017). A taxonomy of blockchain-based systems for architecture design. In Software Architecture (ICSA), 2017 IEEE International Conference on (pp. 243–252). IEEE. http://design.inf.usi.ch/sites/default/files/biblio/icsa2017-blockchain.pdf. doi:10.1109/ICSA.2017.33.
