Dynamic property oriented ontology model extension and validation

Abstract

Ontologies are used to formally express domain knowledge, but sometimes the system that they represent has dynamic properties that cannot be represented. The representation of these dynamic properties would greatly help to improve the representation of reality offered by an ontology model. For this reason, many systems that before could not use ontologies because of the lack of this functionality, can now use this ontology developed. A systematic survey has been done by collecting the relevant papers searched using a set of key words like ontology modelling, ontology model validation, ontology for dynamic semantics, etc. More than twenty related papers were found, and based on those papers, it has been observed that previous research has achieved different ways to represent those dynamic semantics but with the need of more than one diagram or without allowing the representation of certain conditions. In addition, a way to validate the ontology model whether is consistent with the relationships and constraints including the changes caused by dynamic semantics is needed, for example by checking if the model can be an abstraction of the system before and after a dynamic property change or an entity changed its state. To evaluate our ideas and their level of innovation, a significant research has been carried out. The result indicates that an ontology for dynamic semantics, and the evaluation of its dynamic features, will be useful for sharing knowledge between systems at run time.