Image de couverture de livre

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Grosser, Marvin, Lutz, Carsten
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Artificial Intelligence 68T30 (Primary) 68T27, 03B70 (Secondary) I.2.4; F.2.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Fitting Ontologies and Constraints to Relational Structures
par: Hosemann, Simon, et autres
Publié: (2025)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
par: Haak, Anselm, et autres
Publié: (2026)

A novel framework for systematic propositional formula simplification based on existential graphs
par: de Mas, Jordina Francès, et autres
Publié: (2024)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
par: Donadello, Ivan, et autres
Publié: (2024)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
par: Wright, Craig Steven
Publié: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
par: Tang, Shuai, et autres
Publié: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
par: Tang, Shuai
Publié: (2025)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
par: Buoncompagni, Luca, et autres
Publié: (2024)

Topological Logics with Connectedness over Euclidean Spaces
par: Kontchakov, Roman, et autres
Publié: (2011)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
par: Platzer, André
Publié: (2024)

Which are the True Defeasible Logics?
par: Maher, Michael J.
Publié: (2024)

Logical Modalities within the European AI Act: An Analysis
par: Lawniczak, Lara, et autres
Publié: (2025)

A convergence law for continuous logic and continuous structures with finite domains
par: Koponen, Vera
Publié: (2025)

Stemming Hallucination in Language Models Using a Licensing Oracle
par: Emanuilov, Simeon, et autres
Publié: (2025)

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

Higher-Order Pattern Unification Modulo Similarity Relations
par: Dundua, Besik, et autres
Publié: (2025)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
par: Farmer, William M., et autres
Publié: (2023)

Normative Conditional Reasoning as a Fragment of HOL
par: Parent, Xavier, et autres
Publié: (2023)

State Algebra for Propositional Logic
par: Lesnik, Dmitry, et autres
Publié: (2025)

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

The Optimizer Quotient and the Certification Trilemma
par: Simas, Tristan
Publié: (2026)

Rule Extraction in Machine Learning: Chat Incremental Pattern Constructor
par: Nwokocha, Caleb Princewill
Publié: (2022)

TableMoE: Neuro-Symbolic Routing for Structured Expert Reasoning in Multimodal Table Understanding
par: Zhang, Junwen, et autres
Publié: (2025)

Profile Generators: A Link between the Narrative and the Binary Matrix Representation
par: Kutil, Raoul H., et autres
Publié: (2025)

Oruga: An Avatar of Representational Systems Theory
par: Raggi, Daniel, et autres
Publié: (2025)

Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
par: Guo, Xiangyu, et autres
Publié: (2025)

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

Domain size asymptotics for Markov logic networks
par: Koponen, Vera
Publié: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
par: De Angelis, Emanuele, et autres
Publié: (2022)

TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
par: Oliveria, Mateus de Oliveira, et autres
Publié: (2026)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
par: Sochański, Michał, et autres
Publié: (2025)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
par: Kricheli, Joshua Shay, et autres
Publié: (2024)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
par: Schellhorn, Daniel Romero, et autres
Publié: (2026)

Quantifying analogy of concepts via ologs and wiring diagrams
par: Lo, Jason
Publié: (2024)

CSSDH: An Ontology for Social Determinants of Health to Operational Continuity of Care Data Interoperability
par: Das, Subhashis, et autres
Publié: (2024)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
par: Bodirsky, Manuel, et autres
Publié: (2023)

D-SMART: Enhancing LLM Dialogue Consistency via Dynamic Structured Memory And Reasoning Tree
par: Lei, Xiang, et autres
Publié: (2025)

Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
par: Beliaeva, Aleksandra, et autres
Publié: (2025)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
par: Wang, Shuai, et autres
Publié: (2024)