1 citations · 2 across the 5 of their papers we have counts for
5 papers
A Horn extension of DL-Lite with NL data complexity
Janos Arpasi, Bartosz Jan Bednarczyk, Magdalena Ortiz
The literature on ontology-mediated query answering (OMQA) has been shaped by two key results: first-order rewritability for DL-Lite, and PTime-hardness of data complexity for esse…
Static Analysis of Recursive SHACL
Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
SHACL (Shapes Constraint Language) expresses constraints on RDF data by means of so-called shapes. Its central service is validation: verifying whether a data graph complies with a…
SHACL Validation under Graph Updates (Extended Paper)
Shqiponja Ahmetaj, George Konstantinidis, Magdalena Ortiz +2
SHACL (SHApe Constraint Language) is a W3C standardized constraint language for RDF graphs. In this paper, we study SHACL validation in RDF graphs under updates. We present a SHACL…
SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
SHACL and OWL are two prominent W3C standards for managing RDF data. These languages share many features, but they have one fundamental difference: OWL, designed for inferring fact…
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,…