Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle. Inconsistency Identification in Dynamic Ontologies based on Model Checking. In Karl-Heinz Krempels, José Cordeiro, editors, WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18 - 21 April, 2012. pages 418-421, SciTePress, 2012.
@inproceedings{GueffazPRCN12,
title = {Inconsistency Identification in Dynamic Ontologies based on Model Checking},
author = {Mahdi Gueffaz and Perrine Pittet and Sylvain Rampacek and Christophe Cruz and Christophe Nicolle},
year = {2012},
researchr = {https://researchr.org/publication/GueffazPRCN12},
cites = {0},
citedby = {0},
pages = {418-421},
booktitle = {WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18 - 21 April, 2012},
editor = {Karl-Heinz Krempels and José Cordeiro},
publisher = {SciTePress},
isbn = {978-989-8565-08-2},
}