Abstract: As networking technologies evolve, distributed computer technologies such as the cloud are becoming more important. A blockchain is a kind of distributed computer technology in which all nodes have the same ledger to guarantee data integrity. Within a blockchain, smart contract defines the contexts of various items in the form of program code and acts as business logic. However, studies on existing smart contracts do not focus on formalizing rules themselves or managing conditional according to various situations. In this study, we formalize data related to smart contract and propose a method to apply conditional to various situation. This method models data of smart contract using ontology and applies semantic web rule language to conditional and manages rule sets in blockchain network. In this way interoperability of the smart contract type can be ensured and the relationship between the contexts in each transaction can be inferred by linking the ontology reasoner to the blockchain network. We describe the smart contract applying the semantic web rule language and show how to actually operate within the blockchain network through the program example.
Sung Hyun Na, Jung Hyun An, Jae Soo Yang and Young B. Park, 2018. Conditional Formalization of Smart Contract Using Semantic Web Rule Language. Journal of Engineering and Applied Sciences, 13: 8716-8721.