Equality−Friendly Well−Founded Semantics and Applications to Description Logics (Proceedings of the 26th National Conference on Artificial Intelligence‚ AAAI 2012‚ Toronto‚ Ontario‚ Canada‚ July 2012, 2012)

(untitled) - Gottlob, G; Hernich, A; Kupke, C; Lukasiewicz, T