5 papers
Validation of graph databases against PG-Schema
Jacek Ciszewski, Jakub KÅos, Maxime Jakubowski +2
The problem of validating a given graph database instance against a given PG-Schema graph type without integrity constraints is NP- complete in terms of combined complexity and in…
A Community Survey on SHACL and ShEx: Briding Gaps in RDF Validation
Maxime Jakubowski, Dominik Tomaszuk, Katja Hose
This paper examines RDF validation practices and challenges to understand stakeholder applications, their needs, and identify areas for improvement in technologies and methodologie…
Common Foundations for Recursive Shape Languages
Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders +9
As schema languages for RDF data become more mature, we are seeing efforts to extend them with recursive semantics, applying diverse ideas from logic programming and description lo…
SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
Dörthe Arndt, William Van Woensel, Dominik Tomaszuk
Reasoning in the Semantic Web (SW) commonly uses Description Logics (DL) via OWL2 DL ontologies, or SWRL for variables and Horn clauses. The Rule Interchange Format (RIF) offers mo…
Common Foundations for SHACL, ShEx, and PG-Schema
S. Ahmetaj, I. Boneva, J. Hidders +11
Graphs have emerged as an important foundation for a variety of applications, including capturing and reasoning over factual knowledge, semantic data integration, social networks,…