Evolving knowledge bases :specification and semantics