Browse by Person
 | Up a level |
Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2020) Boolean Role Inclusions in DL-Lite with and without time. In: Calvanese, D. and Erdem, E. and Thielscher, M. (eds.) Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). California, U.S.: IJCAI Organization, pp. 582-591. ISBN 9780999241172.
Calì, Andrea and Gottlob, G. and Orsi, G. and Pieris, A. (2012) On the interaction of existential rules and equality constraints in ontology querying. In: Erdem, E. and Lee, J. and Lierler, Y. and Pearce, D. (eds.) Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science 7265. Berlin, Germany: Springer, pp. 117-133. ISBN 9783642307423.