Efficient Model Construction for Horn Logic with VLog

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 31st International Workshop on Description Logics (DL)
EditorsMagdalena Ortiz, Thomas Schneider
PublisherCEUR Workshop Proceedings
Number of pages3
Volume2211
Publication statusPublished - 2018
Event31st International Workshop on Description Logics, DL 2018 - Tempe, United States
Duration: 27 Oct 201829 Oct 2018

Conference

Conference31st International Workshop on Description Logics, DL 2018
CountryUnited States
CityTempe
Period27/10/1829/10/18

Cite this