Model-Based Contractions for Description Logics

MARTÍN O. MOGUILLANSKY; MARCELO A. FALAPPA; GUILLERMO R. SIMARI

Sydney, Australia

Workshop; Twelfth International Workshop on Non-Monotonic Reasoning, NMR’2008; 2008

Principles of Knowledge Representation and Reasoning Inc

Model-Based Contractions are a formalism –based on model-theoretic semantics– which characterizes an operation that modifies a knowledge base to avoid the satisfiability of a given expression. In the context of ontology revision, model-based contractions are a functional component that yields an ontology ready to evolve consistently. In this work we formalize the theory for contractions providing a model, variations, and their axiomatic characterization. Afterwards an algorithm towards its realization is proposed. Such  algorithm has no further impact in computability, since it works on top of the satisfiability checking of  the incoming information.