Inconsistency Identification in Dynamic Ontologies based on Model Checking.

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

Browse the full WEBIST paper archive.