Using Hoare's axiomatic semantics for checking satisfiability of ontology change operations
Ousmane Sall, Mouhamadou Thiam, Mamadou Bousso, Moussa Lô · International Conference on Information Science and Digital Content Technology · 2012
Ontologies are one of the most important layers on semantic web. Inconsistencies observed on cascading changes of thousands of nodes may arise simply because of a small operation on an ontology component. We proposed in this paper an approach that consists in ontology restructuring according to a lexical model that makes possible to model change operations as transformer state based on Hoare's axiomatic semantic. It thus helps proving their satisfiability and the way they change the ontology state through its components.