Discovery and diagnosis of wrong SPARQL queries with ontology and constraint reasoning

作者：

Highlights：

• SPARQL debugging with ontology and constraint reasoning.

• Tool for discovery and diagnosis of wrong SPARQL queries.

• Correctness method for detecting Ill-typed and unsatisfiable queries.

• Type validity method for assisting in query completion and repairing.

• Online web tool.

摘要

•SPARQL debugging with ontology and constraint reasoning.•Tool for discovery and diagnosis of wrong SPARQL queries.•Correctness method for detecting Ill-typed and unsatisfiable queries.•Type validity method for assisting in query completion and repairing.•Online web tool.

论文关键词：SPARQL,Semantic web,Debugging,Static analysis,Ontology reasoning,Constraint reasoning

论文评审过程：Received 17 September 2019, Revised 12 January 2020, Accepted 16 July 2020, Available online 4 August 2020, Version of Record 28 August 2020.

论文官网地址：https://doi.org/10.1016/j.eswa.2020.113772