Model-Based Contractions for Description Logics

MARTIN MOGUILLANSKY; MARCELO FALAPPA

Sydney

Workshop; NMR 2008; 2008

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, provide its axiomatic characterization, and propose an algorithm towards its realization. Such algorithm has no further impact in computability, since it works on top of the satisfiability checking of the incoming information.