OWL Consistency Models in Smart Contracts Design

International Journal of Combinatorial Optimization Problems and Informatics. 2026 Open access

Read full text
Authors: René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas
DOI: 10.61467/2007.1558.2026.v17i2.1258
Cited by: 0

Abstract

Smart Contracts are stored and executed on a Blockchain network, thereby automatically enforcing the predefined rules once the execution conditions are satisfied. Hence, if the contract incorporates contradictory design rules, it may result in unforeseen outcomes within the blockchain environment. Accordingly, this proposal models the rules embedded in a Smart Contract through the Web Ontology Language (OWL), by applying the formal definition of consistency within a verification framework grounded in Description Logics. Smart citations: https://scite.ai/reports/10.61467/2007.1558.2026.v17i2.1258Dimensions.Open Alex.

Fields of Study & Subjects

Blockchain Technology Applications and Security Semantic Web and Ontologies Logic Reasoning and Knowledge

Publication details

Journal / source
International Journal of Combinatorial Optimization Problems and Informatics.
Volume
17
Issue
2
Pages
76–88
Publication date
16 February 2026
Language
EN