Using Hoare´s axiomatic semantics for checking satisfiability of ontology change operations

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.