DL-Lite Contraction and Revision

DOI10.1613/jair.5050zbMath1362.68270OpenAlexW2472346998WikidataQ62045646 ScholiaQ62045646MaRDI QIDQ5739834

Guilin Qi, Kewen Wang, Zhiqiang Zhuang, Zhe Wang

Publication date: 5 July 2016

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (1)

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

This page was built for publication: DL-Lite Contraction and Revision