32 citations · 75 across the 16 of their papers we have counts for
Showing 2014 · cs.AIShow all
2 papers · 2 filters
cs.AI2014★ 1 cited
Managing Change in Graph-structured Data Using Description Logics (long version with appendix)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz +1
In this paper, we consider the setting of graph-structured data that evolves as a result of operations carried out by users or applications. We study different reasoning problems,…
cs.AI2014★ 24 cited
Reasoning about Explanations for Negative Query Answers in DL-Lite
Diego Calvanese, Magdalena Ortiz, Mantas Simkus +1
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for Description Logics, where research…