:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Pareti, Paolo
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2406.08018
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SHACL Validation under Graph Updates (Extended Paper)
by: Ahmetaj, Shqiponja, et al.
Published: (2025)

TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies
by: Martins, Jean, et al.
Published: (2026)

Intensional FOL: Many-Sorted Extension
by: Majkic, Zoran
Published: (2024)

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

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

Common Foundations for SHACL, ShEx, and PG-Schema
by: Ahmetaj, S., et al.
Published: (2025)

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
by: Lee, Isabelle, et al.
Published: (2025)

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

Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL
by: Westermann, Tom, et al.
Published: (2025)

SHACL-DS
by: CHIEM DAO, Davan
Published: (2025)

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

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
by: Seifer, Philipp, et al.
Published: (2024)

SCL(FOL) Revisited
by: Bromberger, Martin, et al.
Published: (2023)

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

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

Is SHACL Suitable for Data Quality Assessment?
by: Cortés, Carolina, et al.
Published: (2025)

ODRL Policy Comparison Through Normalisation
by: Salas, Jaime Osvaldo, et al.
Published: (2026)

Efficiently grounding FOL using bit vectors
by: Van Laer, Lucas, et al.
Published: (2024)

Assessing the Sensitivity and Alignment of FOL Closeness Metrics
by: Thatikonda, Ramya Keerthy, et al.
Published: (2025)

Consistent Query Answering over SHACL Constraints
by: Ahmetaj, Shqiponja, et al.
Published: (2024)

A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
by: Moore, Hayden, et al.
Published: (2026)

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
by: Majkic, Zoran
Published: (2025)

RDFGraphGen: An RDF Graph Generator based on SHACL Shapes
by: Jovanovik, Milos, et al.
Published: (2024)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
by: Bogaerts, Bart, et al.
Published: (2022)

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

FOL2NS: Generating Natural Sentences from First-Order Logic
by: Jia, Mei
Published: (2026)

From RDF Graph Validation to RDF Dataset Validation with SHACL-DS
by: Dao, Davan Chiem, et al.
Published: (2025)

Evaluation and Comparison Semantics for ODRL
by: Salas, Jaime Osvaldo, et al.
Published: (2025)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
by: David, Robert, et al.
Published: (2025)

JSPLIT: A Taxonomy-based Solution for Prompt Bloating in Model Context Protocol
by: Antonioni, Emanuele, et al.
Published: (2025)

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

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

Temporal Fairness in Decision Making Problems
by: Torres, Manuel R., et al.
Published: (2024)

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

LA VISIÓN DEL PROFESORADO DE GALICIA SOBRE LA FUNCIÓN ORIENTADORA DEL MÓDULO DE FOL
by: Ma Del Mar Sanjuán Roca
Published: (2011)

TOMATO-Fusarium oxysporum INTERACTIONS: II-CHITOSAN AND MSB INDUCED RESISTANCE AGAINST FOL IN YOUNG TOMATO PLANTS
by: Dalila Paz-Lago
Published: (2000)

Behaviour Planning: A Toolkit for Diverse Planning
by: Abdelwahed, Mustafa F, et al.
Published: (2024)

Keeping track of errors: A study of SHACL-DS for RDF dataset validation on the ERA RINF Knowledge Graph
by: Dao, Davan Chiem, et al.
Published: (2026)

The Shutdown Problem: An AI Engineering Puzzle for Decision Theorists
by: Thornley, Elliott
Published: (2024)

World2Mind: Cognition Toolkit for Allocentric Spatial Reasoning in Foundation Models
by: Ruan, Shouwei, et al.
Published: (2026)