Cover Image

Consistency Verification in Ontology-Based Process Models with Parameter Interdependencies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jeleniewski, Tom, Nabizada, Hamied, Reif, Jonathan, Gehlhoff, Felix, Fay, Alexander
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Databases
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model-based Workflow for the Automated Generation of PDDL Descriptions
by: Nabizada, Hamied, et al.
Published: (2024)

Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
by: Nabizada, Hamied, et al.
Published: (2025)

Chatbot-Based Ontology Interaction Using Large Language Models and Domain-Specific Standards
by: Reif, Jonathan, et al.
Published: (2024)

Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants
by: Nabizada, Hamied, et al.
Published: (2025)

From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation
by: Nabizada, Hamied, et al.
Published: (2026)

Representing Time-Continuous Behavior of Cyber-Physical Systems in Knowledge Graphs
by: Gill, Milapji Singh, et al.
Published: (2025)

A SysML Profile for the Standardized Description of Processes during System Development
by: Beers, Lasse, et al.
Published: (2024)

Semantic Capability Model for the Simulation of Manufacturing Processes
by: Reif, Jonathan, et al.
Published: (2024)

Automatic Mapping of AutomationML Files to Ontologies for Graph Queries and Validation
by: Westermann, Tom, et al.
Published: (2025)

Integrating Ontology Design with the CRISP-DM in the context of Cyber-Physical Systems Maintenance
by: Gill, Milapji Singh, et al.
Published: (2024)

On the Use of Large Language Models to Generate Capability Ontologies
by: da Silva, Luis Miguel Vieira, et al.
Published: (2024)

Toward a Method to Generate Capability Ontologies from Natural Language Descriptions
by: da Silva, Luis Miguel Vieira, et al.
Published: (2024)

Interactive Ontology Matching with Cost-Efficient Learning
by: Cheng, Bin, et al.
Published: (2024)

Real-Time Health Analytics Using Ontology-Driven Complex Event Processing and LLM Reasoning: A Tuberculosis Case Study
by: Chandra, Ritesh, et al.
Published: (2025)

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

Retrieval-Augmented Generation of Ontologies from Relational Databases
by: Nayyeri, Mojtaba, et al.
Published: (2025)

Enhancing SPARQL Query Rewriting for Complex Ontology Alignments
by: Ondo, Anicet Lepetit, et al.
Published: (2025)

Shapley Value Computation in Ontology-Mediated Query Answering
by: Bienvenu, Meghyn, et al.
Published: (2024)

Open Ontologies: Tool-Augmented Ontology Engineering with Stable Matching Alignment
by: Rovai, Fabio
Published: (2026)

A Circular Construction Product Ontology for End-of-Life Decision-Making
by: Adu-Duodu, Kwabena, et al.
Published: (2025)

Credentials in the Occupation Ontology
by: Beverley, John, et al.
Published: (2024)

Automated Standardization of Legacy Biomedical Metadata Using an Ontology-Constrained LLM Agent
by: Hardi, Josef, et al.
Published: (2026)

NFDI4DSO: Towards a BFO Compliant Ontology for Data Science
by: Gesese, Genet Asefa, et al.
Published: (2024)

A Multi-Axial Mindset for Ontology Design Lessons from Wikidata's Polyhierarchical Structure
by: Doğan, Ege Atacan, et al.
Published: (2025)

OntoTune: Ontology-Driven Learning for Query Optimization with Convolutional Models
by: Yue, Songhui, et al.
Published: (2025)

A Formal Model for Artificial Intelligence Applications in Automation Systems
by: Schieseck, Marvin, et al.
Published: (2024)

Control-flow Reconstruction Attacks on Business Process Models
by: Kirchmann, Henrik, et al.
Published: (2024)

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

Evergreen: Efficient Claim Verification for Semantic Aggregates
by: Lee, Alexander W., et al.
Published: (2026)

Re-Thinking Process Mining in the AI-Based Agents Era
by: Berti, Alessandro, et al.
Published: (2024)

Leveraging Large Language Models for Enhanced Process Model Comprehension
by: Kourani, Humam, et al.
Published: (2024)

Thucy: An LLM-based Multi-Agent System for Claim Verification across Relational Databases
by: Theologitis, Michael, et al.
Published: (2025)

PV-SQL: Synergizing Database Probing and Rule-based Verification for Text-to-SQL Agents
by: Tian, Yuan, et al.
Published: (2026)

The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
by: Tihanyi, Norbert, et al.
Published: (2023)

DAOnt: A Formal Ontology for EU Data Act Compliance
by: Leyva-Sánchez, Sheyla, et al.
Published: (2026)

SABER: A SQL-Compatible Semantic Document Processing System Based on Extended Relational Algebra
by: Lee, Changjae, et al.
Published: (2025)

On the Potential of Large Language Models to Solve Semantics-Aware Process Mining Tasks
by: Rebmann, Adrian, et al.
Published: (2025)

SSBD Ontology: A Two-Tier Approach for Interoperable Bioimaging Metadata
by: Yamagata, Yuki, et al.
Published: (2025)

Ontology-based knowledge graph infrastructure for interoperable atomistic simulation data
by: Guzman, Abril Azocar, et al.
Published: (2026)

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