Incremental Lifecycle Validation Of Knowledge-Based Systems Through Commonkads