Cover Image

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Seifer, Philipp, Hernández, Daniel, Lämmel, Ralf, Staab, Steffen
Format:	Preprint
Published:	2024
Subjects:	Databases Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs
by: Pan, Xinyi, et al.
Published: (2024)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
by: He, Yunjie, et al.
Published: (2024)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
by: Arndt, Dörthe, et al.
Published: (2025)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
by: Cantale, Claudia, et al.
Published: (2017)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

Query Languages for Machine-Learning Models
by: Grohe, Martin
Published: (2026)

Common Foundations for Recursive Shape Languages
by: Ahmetaj, Shqiponja, et al.
Published: (2026)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2024)

Database Querying under Missing Values Governed by Missingness Mechanisms
by: Bertossi, Leopoldo, et al.
Published: (2026)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
by: Bienvenu, Meghyn, et al.
Published: (2022)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
by: Bienvenu, Meghyn, et al.
Published: (2020)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
by: Feller, Thomas, et al.
Published: (2023)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2025)

Static Analysis of Recursive SHACL
by: Oudshoorn, Anouk, et al.
Published: (2026)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
by: Yin, Hang, et al.
Published: (2023)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
by: Oudshoorn, Anouk, et al.
Published: (2025)

Learning Aggregate Queries Defined by First-Order Logic with Counting
by: van Bergerem, Steffen, et al.
Published: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
by: Alrabbaa, Christian, et al.
Published: (2025)

The Common Core Ontologies
by: Jensen, Mark, et al.
Published: (2024)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
by: Prudhomme, Tim, et al.
Published: (2024)

Middle Architecture Criteria
by: Beverley, John, et al.
Published: (2024)

Semiring Provenance for Lightweight Description Logics
by: Bourgaux, Camille, et al.
Published: (2023)

A Horn extension of DL-Lite with NL data complexity
by: Arpasi, Janos, et al.
Published: (2026)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
by: Bertossi, Leopoldo
Published: (2026)

Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
by: Bienvenu, Meghyn, et al.
Published: (2023)

Recursive querying of neural networks via weighted structures
by: Grohe, Martin, et al.
Published: (2026)

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
by: Katz, Jediah, et al.
Published: (2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
by: Artale, Alessandro, et al.
Published: (2025)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
by: Liu, Chanjuan, et al.
Published: (2024)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
by: Li, Fangjun, et al.
Published: (2024)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
by: Aria, Hadi Partovi, et al.
Published: (2026)

Query languages for neural networks
by: Grohe, Martin, et al.
Published: (2024)

The Importance of Parameters in Database Queries
by: Gilad, Amir, et al.
Published: (2024)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
by: Salhi, Yakoub
Published: (2024)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
by: Wernhard, Christoph
Published: (2017)