 | Up a level |
Number of items: 2.
Botoeva, E, Kontchakov, R, Ryzhikov, V, Wolter, F and Zakharyaschev, M
(2016)
Games for query inseparability of description logic knowledge bases.
Artificial Intelligence, 234.
pp. 78-119.
Botoeva, E, Kontchakov, R, Ryzhikov, V, Wolter, F and Zakharyaschev, M
(2014)
Query Inseparability for Description Logic Knowledge Bases.
.