Journal of Engineering and Applied Sciences

Year: 2018
Volume: 13
Issue: 11 SI
Page No. 8716 - 8721

Conditional Formalization of Smart Contract Using Semantic Web Rule Language

Authors : Sung Hyun Na, Jung Hyun An, Jae Soo Yang and Young B. Park

References

Alliance, S.C., 2016. Smart contracts: 12 use cases for business and beyond. Chamber Digital Commerce, USA. http://digitalchamber.org/assets/smart-contracts-12-use-cases-for-business-and-b%20eyond.pdf

Cachin, C., 2016. Architecture of the hyperledger blockchain fabric. Proceedings of the Workshop on Distributed Cryptocurrencies and Consensus Ledgers, July 25-29, 2016, PODC, Chicago, Illinois, USA., pp: 1-4.

Elenius, D., D. Martin, R. Ford and G. Denker, 2009. Reasoning about resources and hierarchical tasks using OWL and SWRL. Proceedings of the International Conference on Semantic Web, October 25-29, 2009, Springer, Berlin, Germany, ISBN:978-3-642-04929-3, pp: 795-810.

Horrocks, I., P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof and M. Dean, 2004. SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Submission. http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/.

Kim, H.M. and M. Laskowski, 2018. Toward an ontology-driven blockchain design for supply-chain provenance. Intell. Syst. Accounting Finance Manage., 25: 18-27.
Direct Link  |  

Kosba, A., A. Miller, E. Shi, Z. Wen and C. Papamanthou, 2016. Hawk: The blockchain model of cryptography and privacy-preserving smart contracts. Proceedings of the 2016 IEEE International Symposium on Security and Privacy (SP), May 22-26, 2016, IEEE, San Jose, California, USA., ISBN:978-1-5090-0825-4, pp: 839-858.

Kruijff, D.J. and H. Weigand, 2017. Ontologies for commitment-based smart contracts. Proceedings OTM Confederated International Conferences on the Move to Meaningful Internet Systems, October 23-27, 2017, Springer, Berlin, Germany, ISBN:978-3-319-69458-0, pp: 383-398.

Noy, N.F. and D.L. McGuinness, 2001. Ontology development 101: A guide to creating your first ontology. J. Ontol., 17: 1-25.
Direct Link  |  

Ricquebourg, V., D. Durand, D. Menga, B. Marhic and L. Delahoche et al., 2007. Context inferring in the smart home: An SWRL approach. Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops AINAW'07. Vol. 2, May 21-23, 2007, IEEE, Niagara Falls, Canada, pp: 290-295.

Singh, S. and I. Chana, 2016. EARTH: Energy-aware autonomic resource scheduling in cloud computing. J. Intell. Fuzzy Syst., 30: 1581-1600.
Direct Link  |  

Stansfield, S.A., 1986. ANGY: A rule-based expert system for automatic segmentation of coronary vessels from digital subtracted angiograms. IEEE. Trans. Pattern Anal. Mach. Intell., 8: 188-199.
CrossRef  |  Direct Link  |  

Swan, M., 2015. Blockchain: Blueprint for a New Economy. O’Reilly Media, Inc., Sebastopol, California, USA., ISBN:978-1-491-92049-7, Pages: 128.

Design and power by Medwell Web Development Team. © Medwell Publishing 2024 All Rights Reserved