"Pay-as-you-go consequence-based reasoning for the description logic SROIQ."

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks (2021)

Details and statistics

DOI: 10.1016/J.ARTINT.2021.103518

access: closed

type: Journal Article

metadata version: 2022-10-02