TRiC: Terms, RIghts and Conditions Semantic Descriptors for Smart Contracts

  • Luis-Daniel Ibáñez
  • Elena Simperl
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10577)


Smart Contracts have emerged as a novel way to automate the execution of contracts in a decentralised and secure environment, minimising the risk of breach or non-compliance. However, recent research points out that the same measures that secure Smart Contracts against disruption with the purpose of breach makes altering the terms, rights and conditions of contracts difficult. The same research proposes a set of standards inspired in paper-contract law that Smart Contract platforms should implement to enable Smart Contract Undo and Alteration. This paper is about preliminary work on describing terms, rights, and conditions of Smart Contracts as RDF documents linked to them, levering Semantic Web tools enabling: (i) Definition and checking of complex rights and conditions (ii) Separation of the terms of the contract from its execution logic. (iii) Querying and Updating via SPARQL (iv) Alteration of terms that were not initially considered as modifiable.


Smart Contracts Semantic Web Smart contract update 


  1. 1.
    A next-generation smart contract and decentralized application platform.
  2. 2.
  3. 3.
    Buffa, M., Faron-Zucker, C.: Ontology-based access rights management. In: Guillet, F., Ritschard, G., Zighed, D. (eds.) Advances in Knowledge Discovery and Management. SCI, vol. 398, pp. 49–61. Springer, Heidelberg (2012). Scholar
  4. 4.
    Christidis, K., Devetsikiotis, M.: Blockchains and smart contracts for the internet of things. IEEE Access 4, 2292–2303 (2016)CrossRefGoogle Scholar
  5. 5.
    Ibáñez, L.D., Simperl, E., Gandon, F., Story, H.: Redecentralising the web with distributed ledgers. IEEE Intell. Syst. 32(1), 92–95 (2017)CrossRefGoogle Scholar
  6. 6.
    MacDonald, T.J., Allen, D.W.E., Potts, J.: Blockchains and the boundaries of self-organized economies: predictions for the future of banking. In: Tasca, P., Aste, T., Pelizzon, L., Perony, N. (eds.) Banking Beyond Banks and Money. NEW, pp. 279–296. Springer, Cham (2016). Scholar
  7. 7.
    Marino, B., Juels, A.: Setting standards for altering and undoing smart contracts. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 151–166. Springer, Cham (2016). Scholar
  8. 8.
    Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9) (1997)Google Scholar
  9. 9.
    Tschorsch, F., Scheuermann, B.: Bitcoin and beyond: a technical survey on decentralized digital currencies. IEEE Commun. Surv. Tutorials 18(3), 2084–2123 (2015)CrossRefGoogle Scholar
  10. 10.
    Yasin, A., Liu, L.: An online identity and smart contract management system. In: 40th Annual Computer Software and Applications Conference (COMPSAC), vol. 2, pp. 192–198. IEEE (2016)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.University of SouthamptonSouthamptonUK

Personalised recommendations