@article{5686f4ded6f04ba2b3d45358d73c7b0f,
title = "Pay-as-you-go consequence-based reasoning for the description logic SROIQ",
keywords = "Automated reasoning, Description logics, Knowledge representation and reasoning, Ontologies",
author = "\{Tena Cucala\}, David and \{Cuenca Grau\}, Bernardo and Ian Horrocks",
note = "Publisher Copyright: {\textcopyright} 2021 Elsevier B.V.",
year = "2021",
month = sep,
doi = "10.1016/j.artint.2021.103518",
language = "English",
volume = "298",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier B.V.",
}