First-Order Rewritability of Atomic Queries in Horn Description Logics

Submitted by lahdakadmin on Tue, 11/26/2013 - 12:48
TitleFirst-Order Rewritability of Atomic Queries in Horn Description Logics
Publication TypeConference Paper
Year of Publication2013
AuthorsBienvenu, M, Lutz, C, Wolter, F
Conference NameProceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI)