TY - GEN
T1 - Reasoning about exceptions in ontologies
T2 - 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019
AU - Giordano, Laura
AU - Gliozzi, Valentina
N1 - Publisher Copyright:
© Springer Nature Switzerland AG 2019.
PY - 2019
Y1 - 2019
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/85072864635
U2 - 10.1007/978-3-030-29765-7_18
DO - 10.1007/978-3-030-29765-7_18
M3 - Conference contribution
AN - SCOPUS:85072864635
SN - 9783030297640
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 212
EP - 225
BT - Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 15th European Conference, ECSQARU 2019, Proceedings
A2 - Kern-Isberner, Gabriele
A2 - Ognjanović, Zoran
PB - Springer Verlag
Y2 - 18 September 2019 through 20 September 2019
ER -