TL;DR
This paper thoroughly examines negation in SPARQL, identifying types, analyzing expressive power, proposing a core algebra, and evaluating compliance with set theory axioms.
Contribution
It introduces a core SPARQL algebra for negation and analyzes the properties and expressiveness of negation operators in SPARQL.
Findings
Identified main types of negation in SPARQL
Proposed a core algebra for negation in SPARQL
Analyzed negation operators against set theory axioms
Abstract
This paper presents a thorough study of negation in SPARQL. The types of negation supported in SPARQL are identified and their main features discussed. Then, we study the expressive power of the corresponding negation operators. At this point, we identify a core SPARQL algebra which could be used instead of the W3C SPARQL algebra. Finally, we analyze the negation operators in terms of their compliance with elementary axioms of set theory.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Logic, Reasoning, and Knowledge · Rough Sets and Fuzzy Logic