Reasoning about multiple aspects in DLs: Semantics and Closure Construction
This work addresses a specific issue in knowledge representation for AI, offering an incremental improvement over existing rational closure methods.
The paper tackles the 'all or nothing' limitation of rational closure in description logics by proposing a multipreferential semantics to handle inheritance of different properties separately in ontologies with exceptions, and provides a sound closure mechanism for it.
Starting from the observation that rational closure has the undesirable property of being an "all or nothing" mechanism, we here propose 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 provide a multipreference closure mechanism which is sound with respect to the multipreference semantics.