32 citations · 75 across the 16 of their papers we have counts for
4 papers · 1 filter
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,…
Nested Regular Path Queries in Description Logics
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz +1
Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data. They a…
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…
Extending ALCQIO with reachability
Tomer Kotek, Mantas Simkus, Helmut Veith +1
We introduce a description logic ALCQIO_{b,Re} which adds reachability assertions to ALCQIO, a sub-logic of the two-variable fragment of first order logic with counting quantifiers…