Minimising RDF Graphs under Rules and Constraints Revisited

Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination in RDF in the presence of rules (in the form of Datalog rules) and constraints (in the form of so-called tuple-generating dependencies). To this end, we investigate the influence of several problem parameters (like restrictions on the size of the rules and/or the constraints) on the complexity of detecting redundancy. The main result of this paper is a fine-grained complexity analysis of both graph and rule minimisation in various settings.

[1]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[2]  Axel Polleres,et al.  Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes , 2009, SEMWEB.

[3]  Alberto Pettorossi,et al.  Transformation of Logic Programs , 1994 .

[4]  Alberto O. Mendelzon,et al.  Foundations of Semantic Web databases , 2011, J. Comput. Syst. Sci..

[5]  Jorge Pérez,et al.  Minimal Deductive Systems for RDF , 2007, ESWC.

[6]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language , 2009 .

[7]  Georg Lausen,et al.  SPARQLing constraints for RDF , 2008, EDBT '08.

[8]  Wolfgang Faber,et al.  Complexity results for answer set programming with bounded predicate arities and implications , 2007, Annals of Mathematics and Artificial Intelligence.

[9]  Stefan Decker,et al.  On the Ostensibly Silent 'W' in OWL 2 RL , 2009, RR.

[10]  Michael Meier,et al.  Towards Rule-Based Minimization of RDF Graphs under Constraints , 2008, RR.

[11]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[12]  Moshe Y. Vardi.  On the Complexity of Bounded-Variable Queries. , 1995, PODS 1995.

[13]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[14]  Stefan Woltran,et al.  Replacements in Non-Ground Answer-Set Programming , 2006, WLP.

[15]  Andreas Harth,et al.  Scalable Authoritative OWL Reasoning for the Web , 2011, Semantic Services, Interoperability and Web Applications.

[16]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[17]  Jiří Vyskočil,et al.  Transformation of Logic Programs , 2008 .