Cover Image

Fitting Ontologies and Constraints to Relational Structures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hosemann, Simon, Jung, Jean Christoph, Lutz, Carsten, Rudolph, Sebastian
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Databases 68T30 (Primary) 68P15, 03B70 (Secondary) I.2.4; H.2.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
by: Grosser, Marvin, et al.
Published: (2026)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
by: Buoncompagni, Luca, et al.
Published: (2024)

Chase Anonymisation: Privacy-Preserving Knowledge Graphs with Logical Reasoning
by: Bellomarini, Luigi, et al.
Published: (2024)

Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

A Novel Kuhnian Ontology for Epistemic Classification of STM Scholarly Articles
by: Saqr, Khalid M.
Published: (2020)

Normative Conditional Reasoning as a Fragment of HOL
by: Parent, Xavier, et al.
Published: (2023)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
by: Farmer, William M.
Published: (2026)

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)

Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
by: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Published: (2025)

A novel framework for systematic propositional formula simplification based on existential graphs
by: de Mas, Jordina Francès, et al.
Published: (2024)

Mitigating LLM Hallucinations through Domain-Grounded Tiered Retrieval
by: Haque, Md. Asraful, et al.
Published: (2026)

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
by: Xu, Ruoran, et al.
Published: (2026)

Heterogeneity in Entity Matching: A Survey and Experimental Analysis
by: Moslemi, Mohammad Hossein, et al.
Published: (2025)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
by: Wright, Craig S.
Published: (2025)

A Prompt Learning Framework for Source Code Summarization
by: Xu, Tingting, et al.
Published: (2023)

Rule Extraction in Machine Learning: Chat Incremental Pattern Constructor
by: Nwokocha, Caleb Princewill
Published: (2022)

From Unstructured Recall to Schema-Grounded Memory: Reliable AI Memory via Iterative, Schema-Aware Extraction
by: Petrov, Alex, et al.
Published: (2026)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

Complete Robust Hybrid Systems Reachability
by: Wafa, Noah Abou El, et al.
Published: (2026)

Oruga: An Avatar of Representational Systems Theory
by: Raggi, Daniel, et al.
Published: (2025)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
by: Raggi, Daniel, et al.
Published: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
by: Tang, Shuai, et al.
Published: (2025)

PROV-AGENT: Unified Provenance for Tracking AI Agent Interactions in Agentic Workflows
by: Souza, Renan, et al.
Published: (2025)

Judgment2vec: Apply Graph Analytics to Searching and Recommendation of Similar Judgments
by: Shao, Hsuan-Lei
Published: (2024)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
by: Sochański, Michał, et al.
Published: (2025)

Quantifying analogy of concepts via ologs and wiring diagrams
by: Lo, Jason
Published: (2024)

AVS: A Computational and Hierarchical Storage System for Autonomous Vehicles
by: Wang, Yuxin, et al.
Published: (2025)

Rewriting Consistent Answers on Annotated Data
by: Kolaitis, Phokion G., et al.
Published: (2024)

D-SMART: Enhancing LLM Dialogue Consistency via Dynamic Structured Memory And Reasoning Tree
by: Lei, Xiang, et al.
Published: (2025)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

$ϕ^{\infty}$: Clause Purification, Embedding Realignment, and the Total Suppression of the Em Dash in Autoregressive Language Models
by: Kilictas, Bugra, et al.
Published: (2025)

Multiset semantics in SPARQL, Relational Algebra and Datalog
by: Angles, Renzo, et al.
Published: (2026)

The JPEG XL Image Coding System: History, Features, Coding Tools, Design Rationale, and Future
by: Sneyers, Jon, et al.
Published: (2025)

Multi-Agent GraphRAG: A Text-to-Cypher Framework for Labeled Property Graphs
by: Gusarov, Anton, et al.
Published: (2025)

A Knowledge Graph based Approach for Mobile Application Recommendation
by: Zhang, Mingwei, et al.
Published: (2020)

Anomaly Detection and Inlet Pressure Prediction in Water Distribution Systems Using Machine Learning
by: Khoa, Tran Dang
Published: (2024)