Nonmonotonic inferences are not yet supported by Description Logic technology, although their potential usefulness is widely recognized. Lack of support to nonmonotonic reasoning is due to a number of issues related to expressiveness, computational complexity, and optimizations. This work contributes to the practical support of nonmonotonic reasoning in description logics by introducing a new semantics designed to address knowledge engineering needs. The formalism is validated through extensive comparison with the other nonmonotonic DLs, and systematic scalability tests.
A new semantics for overriding in description logics / Bonatti, P. A.; Faella, M.; Petrova, I. M.; Sauro, L.. - In: IJCAI. - ISSN 1045-0823. - (2017), pp. 4975-4979. (Intervento presentato al convegno 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 tenutosi a aus nel 2017).
A new semantics for overriding in description logics
Bonatti P. A.
;Faella M.;Petrova I. M.;Sauro L.
2017
Abstract
Nonmonotonic inferences are not yet supported by Description Logic technology, although their potential usefulness is widely recognized. Lack of support to nonmonotonic reasoning is due to a number of issues related to expressiveness, computational complexity, and optimizations. This work contributes to the practical support of nonmonotonic reasoning in description logics by introducing a new semantics designed to address knowledge engineering needs. The formalism is validated through extensive comparison with the other nonmonotonic DLs, and systematic scalability tests.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.