2000 character limit reached
Reasoning about multiple aspects in DLs: Semantics and Closure Construction (1801.07161v1)
Published 18 Jan 2018 in cs.AI
Abstract: 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.