Inconsistency Identification in Dynamic Ontologies based on Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Mahdi Gueffaz' in GoogleThis author has not been identified. Look up 'Perrine Pittet' in GoogleThis author has not been identified. Look up 'Sylvain Rampacek' in GoogleThis author has not been identified. Look up 'Christophe Cruz' in GoogleThis author has not been identified. Look up 'Christophe Nicolle' in Google

runs on WebDSL