Deciding FO-Rewritability in EL

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:05
TitleDeciding FO-Rewritability in EL
Publication TypeConference Paper
AuthorsBienvenu, M, Lutz, C, Wolter, F
Conference NameProc. of International Workshop on Description Logics (DL)
Conference LocationItalie