Games for query inseparability of description logic knowledge bases

Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. Games for query inseparability of description logic knowledge bases. Artificial Intelligence, 234:78-119, 2016. [doi]

Abstract

Abstract is missing.