INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING

Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle

2012

Abstract

The increasing use of ontologies and the cost of changes support the need to manage the evolution of ontologies. A common kind of error in ontology evolution is the logical contradiction declined as incoherences and inconsistences. In this paper, we propose a new approach to predict and identify the incoherences and inconsistences in the evolution of ontologies based on temporal logic and ontology design patterns. We implement the proposed approach using the NuSMV model checker. Based on these patterns, we propose an automated process to guide and monitor the implementation of change while ensuring the consistency of the evolved ontology.

References

  1. Baier, C., Katoen, J. ”Principles of Model Checking,” The MIT Press, Cambridge, Massachusetts, London, England, 2008.
  2. Baier, C., Katoen, J. ”Principles of Model Checking,” The MIT Press, Cambridge, Massachusetts, London, England, 2008.
  3. Bray, T., Paoli, J., Sperberg-McQueen., C., M., Maler, E., Yergeau, F., Cowan, J., 2006. Extensible Markup Language (XML) 1.1 (second edition) W3C recommendation, http://www.w3.org/TR/2006/RECxml11-20060816/.
  4. Bray, T., Paoli, J., Sperberg-McQueen., C., M., Maler, E., Yergeau, F., Cowan, J., 2006. Extensible Markup Language (XML) 1.1 (second edition) W3C recommendation, http://www.w3.org/TR/2006/RECxml11-20060816/.
  5. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M., 2000. NuSMV: a new symbolic model checker.
  6. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M., 2000. NuSMV: a new symbolic model checker.
  7. Djedidi, R., 2009. Approche d'évolution d'ontologie guidée par des patrons de gestion de changement, PhD Thesis.
  8. Djedidi, R., 2009. Approche d'évolution d'ontologie guidée par des patrons de gestion de changement, PhD Thesis.
  9. Gueffaz, M., Cruz, C., Nicolle, C., 2011. RDF2NµSMV: mapping semantic graphs to NµSMV model checker. The Third International Conference on Advances in Future Internet (AFIN 2011).
  10. Gueffaz, M., Cruz, C., Nicolle, C., 2011. RDF2NµSMV: mapping semantic graphs to NµSMV model checker. The Third International Conference on Advances in Future Internet (AFIN 2011).
  11. Haase, P., Stojanovic, L., 2005. Consistent Evolution of OWL Ontologies. In A.Gomez-Perez, J. Euzenat (Eds.), LNCS, vol.3532. The Semantic Web: Research and Applications (pp. 182-197). Berlin, Germany: Springer. doi: 10.1007/b136731
  12. Haase, P., Stojanovic, L., 2005. Consistent Evolution of OWL Ontologies. In A.Gomez-Perez, J. Euzenat (Eds.), LNCS, vol.3532. The Semantic Web: Research and Applications (pp. 182-197). Berlin, Germany: Springer. doi: 10.1007/b136731
  13. Jaziri, W., 2009. A methodology for ontology evolution and versioning., The Third International Conference on Advances in Semantic Processing(SEMAPRO 2009), pages 15-21, ISBN: 978-1-4244-5044-2, Sliema, Malta.
  14. Jaziri, W., 2009. A methodology for ontology evolution and versioning., The Third International Conference on Advances in Semantic Processing(SEMAPRO 2009), pages 15-21, ISBN: 978-1-4244-5044-2, Sliema, Malta.
  15. Pittet, P., Cruz, C., Nicolle, C., 2011. Guidelines for a Dynamic Ontology - Integrating Tools of Evolution and Versionning in Ontology. International Conference on Knowledge Management in Information Systems (KMIS 2011).
  16. Pittet, P., Cruz, C., Nicolle, C., 2011. Guidelines for a Dynamic Ontology - Integrating Tools of Evolution and Versionning in Ontology. International Conference on Knowledge Management in Information Systems (KMIS 2011).
  17. Plessers, P., & De Troyer, O., 2006. Resolving inconsistencies in evolving ontologies. In Y. Sure, & J. Domingue (Eds.), LNCS: Vol.4011. The Semantic Web: Research and Applications, Proceedings of the 3rd European Semantic Web Conference ESWC 2006 (pp. 200-214). Berlin, Germany: Springer.
  18. Plessers, P., & De Troyer, O., 2006. Resolving inconsistencies in evolving ontologies. In Y. Sure, & J. Domingue (Eds.), LNCS: Vol.4011. The Semantic Web: Research and Applications, Proceedings of the 3rd European Semantic Web Conference ESWC 2006 (pp. 200-214). Berlin, Germany: Springer.
  19. Pnueli, A., 1977. The temporal logic of programs. In proc. 18th IEEE Symp. Foundations of Computer Science (FOCS'77), Providence, RI, USA. pages 46-57.
  20. Pnueli, A., 1977. The temporal logic of programs. In proc. 18th IEEE Symp. Foundations of Computer Science (FOCS'77), Providence, RI, USA. pages 46-57.
  21. Rogozan, D., 2008. Gestion de l'évolution d'une ontologie: méthodes et outils pour un référencement sémantique évolutif fondé sur une analyse des changements entre versions de l'ontologie. PhD Thesis.
  22. Rogozan, D., 2008. Gestion de l'évolution d'une ontologie: méthodes et outils pour un référencement sémantique évolutif fondé sur une analyse des changements entre versions de l'ontologie. PhD Thesis.
  23. Sirin, E. et Parsia, B., 2004. Pellet: An owl dl reasoner. In Haarslev, V. et Möller, R. (editors), Proceedings of the International Workshop on Description Logics (DL2004).
  24. Sirin, E. et Parsia, B., 2004. Pellet: An owl dl reasoner. In Haarslev, V. et Möller, R. (editors), Proceedings of the International Workshop on Description Logics (DL2004).
Download


Paper Citation


in Harvard Style

Gueffaz M., Pittet P., Rampacek S., Cruz C. and Nicolle C. (2012). INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING . In Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-989-8565-08-2, pages 418-421. DOI: 10.5220/0003919204180421


in Harvard Style

Gueffaz M., Pittet P., Rampacek S., Cruz C. and Nicolle C. (2012). INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING . In Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-989-8565-08-2, pages 418-421. DOI: 10.5220/0003919204180421


in Bibtex Style

@conference{webist12,
author={Mahdi Gueffaz and Perrine Pittet and Sylvain Rampacek and Christophe Cruz and Christophe Nicolle},
title={INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING},
booktitle={Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2012},
pages={418-421},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003919204180421},
isbn={978-989-8565-08-2},
}


in Bibtex Style

@conference{webist12,
author={Mahdi Gueffaz and Perrine Pittet and Sylvain Rampacek and Christophe Cruz and Christophe Nicolle},
title={INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING},
booktitle={Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2012},
pages={418-421},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003919204180421},
isbn={978-989-8565-08-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING
SN - 978-989-8565-08-2
AU - Gueffaz M.
AU - Pittet P.
AU - Rampacek S.
AU - Cruz C.
AU - Nicolle C.
PY - 2012
SP - 418
EP - 421
DO - 10.5220/0003919204180421


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING
SN - 978-989-8565-08-2
AU - Gueffaz M.
AU - Pittet P.
AU - Rampacek S.
AU - Cruz C.
AU - Nicolle C.
PY - 2012
SP - 418
EP - 421
DO - 10.5220/0003919204180421