Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions

DOI10.1613/jair.1.11257zbMath1451.68253OpenAlexW2903010679WikidataQ128847994 ScholiaQ128847994MaRDI QIDQ4558797

František Simančík, Andrew M. Bate, Bernardo Cuenca Grau, David Tena Cucala, Ian Horrocks, Boris Motik

Publication date: 30 November 2018

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.11257

zbMATH Keywords

data managementclassification of description logicreasoner

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)

This page was built for publication: Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions