Handling Inconsistencies due to Class Disjointness in SPAR QL Updates

The problem of updating ontologies has received increased attention in recent years. In the approaches proposed so far, either the update language is restricted to sets of ground atoms or, where the f