Buchumschlag

SHACL2FOL: An FOL Toolkit for SHACL Decision Problems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Pareti, Paolo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies
von: Martins, Jean, et al.
Veröffentlicht: (2026)

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

Intensional FOL: Many-Sorted Extension
von: Majkic, Zoran
Veröffentlicht: (2024)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
von: Oudshoorn, Anouk, et al.
Veröffentlicht: (2025)

Common Foundations for SHACL, ShEx, and PG-Schema
von: Ahmetaj, S., et al.
Veröffentlicht: (2025)

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
von: Lee, Isabelle, et al.
Veröffentlicht: (2025)

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
von: Viswanadha, Koushik, et al.
Veröffentlicht: (2025)

Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL
von: Westermann, Tom, et al.
Veröffentlicht: (2025)

SHACL-SKOS Based Knowledge Representation of Material Safety Data Sheet (SDS) for the Pharmaceutical Industry
von: Lu, Brian, et al.
Veröffentlicht: (2025)

SHACL-DS
von: CHIEM DAO, Davan
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)

SCL(FOL) Revisited
von: Bromberger, Martin, et al.
Veröffentlicht: (2023)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
von: Brunello, Andrea, et al.
Veröffentlicht: (2025)

xpSHACL: Explainable SHACL Validation using Retrieval-Augmented Generation and Large Language Models
von: Publio, Gustavo Correa, et al.
Veröffentlicht: (2025)

Is SHACL Suitable for Data Quality Assessment?
von: Cortés, Carolina, et al.
Veröffentlicht: (2025)

ODRL Policy Comparison Through Normalisation
von: Salas, Jaime Osvaldo, et al.
Veröffentlicht: (2026)

Consistent Query Answering over SHACL Constraints
von: Ahmetaj, Shqiponja, et al.
Veröffentlicht: (2024)

Efficiently grounding FOL using bit vectors
von: Van Laer, Lucas, et al.
Veröffentlicht: (2024)

Assessing the Sensitivity and Alignment of FOL Closeness Metrics
von: Thatikonda, Ramya Keerthy, et al.
Veröffentlicht: (2025)

RDFGraphGen: An RDF Graph Generator based on SHACL Shapes
von: Jovanovik, Milos, 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)

A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
von: Moore, Hayden, et al.
Veröffentlicht: (2026)

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
von: Majkic, Zoran
Veröffentlicht: (2025)

Linear Reasoning vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving
von: Ji, Yuliang, et al.
Veröffentlicht: (2026)

From RDF Graph Validation to RDF Dataset Validation with SHACL-DS
von: Dao, Davan Chiem, et al.
Veröffentlicht: (2025)

FOL2NS: Generating Natural Sentences from First-Order Logic
von: Jia, Mei
Veröffentlicht: (2026)

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

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
von: David, Robert, et al.
Veröffentlicht: (2025)

JSPLIT: A Taxonomy-based Solution for Prompt Bloating in Model Context Protocol
von: Antonioni, Emanuele, et al.
Veröffentlicht: (2025)

HERITRACE: a domain-agnostic framework for SHACL-driven RDF curation with provenance and change tracking
von: Massari, Arcangelo, et al.
Veröffentlicht: (2026)

Temporal Fairness in Decision Making Problems
von: Torres, Manuel R., et al.
Veröffentlicht: (2024)

Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
von: Thatikonda, Ramya Keerthy, et al.
Veröffentlicht: (2024)

Behaviour Planning: A Toolkit for Diverse Planning
von: Abdelwahed, Mustafa F, et al.
Veröffentlicht: (2024)

A Toolkit for Compliance, a Toolkit for Justice: Drawing on Cross-sectoral Expertise to Develop a Pro-justice EU AI Act Toolkit
von: Hollanek, Tomasz, et al.
Veröffentlicht: (2025)

World2Mind: Cognition Toolkit for Allocentric Spatial Reasoning in Foundation Models
von: Ruan, Shouwei, et al.
Veröffentlicht: (2026)

The Shutdown Problem: An AI Engineering Puzzle for Decision Theorists
von: Thornley, Elliott
Veröffentlicht: (2024)

Unified Bayesian Frameworks for Multi-criteria Decision-making Problems
von: Mohammadi, Majid
Veröffentlicht: (2022)

Overview of the Amphion Toolkit (v0.2)
von: Li, Jiaqi, et al.
Veröffentlicht: (2025)

An Automatic Question Usability Evaluation Toolkit
von: Moore, Steven, et al.
Veröffentlicht: (2024)