Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral. Efficient Model Construction for Horn Logic with VLog: Extended Abstract. In Magdalena Ortiz, Thomas Schneider 0002, editors, Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. Volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
@inproceedings{UrbaniKJDC18-0,
title = {Efficient Model Construction for Horn Logic with VLog: Extended Abstract},
author = {Jacopo Urbani and Markus Krötzsch and Ceriel J. H. Jacobs and Irina Dragoste and David Carral},
year = {2018},
url = {http://ceur-ws.org/Vol-2211/paper-48.pdf},
researchr = {https://researchr.org/publication/UrbaniKJDC18-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018},
editor = {Magdalena Ortiz and Thomas Schneider 0002},
volume = {2211},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}