@inproceedings{07b4e34874e942d7b4afa32aba3bc3ef,
title = "Efficient Model Construction for Horn Logic with VLog",
author = "Jacopo Urbani and Markus Kr{\"o}tzsch and Ceriel Jacobs and Irina Dragoste and David Carral",
year = "2018",
language = "English",
volume = "2211",
editor = "Magdalena Ortiz and Thomas Schneider",
booktitle = "Proceedings of the 31st International Workshop on Description Logics (DL)",
publisher = "CEUR Workshop Proceedings",
note = "31st International Workshop on Description Logics, DL 2018 ; Conference date: 27-10-2018 Through 29-10-2018",
}