Combining Existential Rules and Transitivity: Next Steps

Submitted by lahdakadmin on Fri, 07/22/2016 - 14:05
TitleCombining Existential Rules and Transitivity: Next Steps
Publication TypeConference Paper
Year of Publication2015
AuthorsBaget, J-F, Bienvenu, M, Mugnier, M-L, Rocher, S
Conference NameInternational Joint Conference on Artificial Intelligence, (IJCAI)
Date PublishedJul
Conference LocationBuenos Aires, Argentina
KeywordsDatalog+, DL-Lite, Transitivity
URLhttps://hal.archives-ouvertes.fr/hal-01171846