Buchumschlag

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Oudshoorn, Anouk, Ortiz, Magdalena, Simkus, Mantas
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Static Analysis of Recursive SHACL
von: Oudshoorn, Anouk, et al.
Veröffentlicht: (2026)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
von: Di Stefano, Federica, et al.
Veröffentlicht: (2025)

SHACL Validation under Graph Updates (Extended Paper)
von: Ahmetaj, Shqiponja, et al.
Veröffentlicht: (2025)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
von: Seifer, Philipp, et al.
Veröffentlicht: (2024)

Capabilities: An Ontology
von: Beverley, John, et al.
Veröffentlicht: (2024)

Commonsense Ontology Micropatterns
von: Eells, Andrew, et al.
Veröffentlicht: (2024)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
von: Boldachev, Alexander
Veröffentlicht: (2025)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
von: Srbinovska, Anita, et al.
Veröffentlicht: (2026)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
von: Prudhomme, Tim, et al.
Veröffentlicht: (2024)

The Common Core Ontologies
von: Jensen, Mark, et al.
Veröffentlicht: (2024)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
von: Hinnerichs, Tilman, et al.
Veröffentlicht: (2022)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
von: Bella, Giampaolo, et al.
Veröffentlicht: (2023)

Enriching Ontologies with Disjointness Axioms using Large Language Models
von: Crum, Elias, et al.
Veröffentlicht: (2024)

A Horn extension of DL-Lite with NL data complexity
von: Arpasi, Janos, et al.
Veröffentlicht: (2026)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
von: Cantale, Claudia, et al.
Veröffentlicht: (2017)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
von: Case, Denise M.
Veröffentlicht: (2026)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
von: Li, Ying, et al.
Veröffentlicht: (2024)

Techniques for Measuring the Inferential Strength of Forgetting Policies
von: Doherty, Patrick, et al.
Veröffentlicht: (2024)

Evaluation and Comparison Semantics for ODRL
von: Salas, Jaime Osvaldo, et al.
Veröffentlicht: (2025)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
von: Leisegang, Nicholas, et al.
Veröffentlicht: (2025)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
von: Wang, Keyu, et al.
Veröffentlicht: (2024)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
von: Andrews, Uri, et al.
Veröffentlicht: (2025)

On the Trap Space Semantics of Normal Logic Programs
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2026)

Weighted Rules under the Stable Model Semantics
von: Lee, Joohyung, et al.
Veröffentlicht: (2026)

Knowledge Base Embeddings: Semantics and Theoretical Properties
von: Bourgaux, Camille, et al.
Veröffentlicht: (2024)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
von: Han, Sangjun, et al.
Veröffentlicht: (2025)

A New Tractable Description Logic under Categorical Semantics
von: Duc, Chan Le, et al.
Veröffentlicht: (2025)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
von: Danso, Priscilla Kyei, et al.
Veröffentlicht: (2026)

Automated Process Planning Based on a Semantic Capability Model and SMT
von: Köcher, Aljosha, et al.
Veröffentlicht: (2023)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
von: Fandinno, Jorge, et al.
Veröffentlicht: (2024)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
von: Parent, Xavier
Veröffentlicht: (2026)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
von: Arisaka, Ryuta
Veröffentlicht: (2024)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
von: Buda, Alessandro G., et al.
Veröffentlicht: (2026)

A Fourfold Pathogen Reference Ontology Suite
von: Babcock, Shane, et al.
Veröffentlicht: (2024)

Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite
von: Löhnert, Bianca, et al.
Veröffentlicht: (2024)

Ontological foundations for contrastive explanatory narration of robot plans
von: Olivares-Alarcos, Alberto, et al.
Veröffentlicht: (2025)

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
von: Allemang, Dean, et al.
Veröffentlicht: (2024)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
von: Bogaerts, Bart, et al.
Veröffentlicht: (2022)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)