A Temporal and Probabilistic, Deductive and Object-Oriented Query LanguageOn Updates and Inconsistency Repairing in Knowledge Bases