loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Shiori Matsuoka 1 and Nobutaka Suzuki 2

Affiliations: 1 Graduate School of Library, Information and Media Studies, University of Tsukuba, 1-2, Kasuga, Tsukuba, Ibaraki, Japan ; 2 Faculty of Library, Information and Media Science, University of Tsukuba, 1-2, Kasuga, Tsukuba, Ibaraki, Japan

Keyword(s): Shape Expression, Pattern Query, Satisfiability.

Abstract: Among queries for RDF/graph data, pattern query is the most popular and important one. A pattern query that returns empty answer for every valid graph is clearly useless, and such a query is called unsatisfiable. Formally, we say that a pattern query q is unsatisfiable under a schema S if there is no valid graph g of S such that the result of q over g is nonempty. It is desirable that unsatisfiable pattern queries can be detected efficiently before being executed since unsatisfiable query may require much execution time but always reports empty answer. In this paper, we focus on Shape Expression (ShEx) as schema, and we propose an algorithm for detecting unsatisfiable pattern queries under a given ShEx schema. Experimental results suggest that our algorithm can determine the satisfiability of pattern query efficiently.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.239.206.191

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Matsuoka, S. and Suzuki, N. (2020). Detecting Unsatisfiable Pattern Queries under Shape Expression Schema. In Proceedings of the 16th International Conference on Web Information Systems and Technologies - WEBIST; ISBN 978-989-758-478-7; ISSN 2184-3252, SciTePress, pages 285-291. DOI: 10.5220/0010171602850291

@conference{webist20,
author={Shiori Matsuoka. and Nobutaka Suzuki.},
title={Detecting Unsatisfiable Pattern Queries under Shape Expression Schema},
booktitle={Proceedings of the 16th International Conference on Web Information Systems and Technologies - WEBIST},
year={2020},
pages={285-291},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010171602850291},
isbn={978-989-758-478-7},
issn={2184-3252},
}

TY - CONF

JO - Proceedings of the 16th International Conference on Web Information Systems and Technologies - WEBIST
TI - Detecting Unsatisfiable Pattern Queries under Shape Expression Schema
SN - 978-989-758-478-7
IS - 2184-3252
AU - Matsuoka, S.
AU - Suzuki, N.
PY - 2020
SP - 285
EP - 291
DO - 10.5220/0010171602850291
PB - SciTePress