Starting from the observation that rational closure has the undesirable property of being an "all or nothing" mechanism, we here consider a multipreferential semantics, which enriches the preferential semantics underlying rational closure in order to separately deal with the inheritance of different properties in an ontology with exceptions. We show that the MP-closure of an ALC knowledge base is a construction which is sound with respect to minimal entailment in the multipreference semantics for ALC.
展开▼
