Imagen de Portada

Bounded Fitting for Expressive Description Logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Funk, Maurice, Jung, Jean Christoph, Voellmer, Tom
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SAT-Based Bounded Fitting for the Description Logic ALC
por: Funk, Maurice, et al.
Publicado: (2025)

Fitting Description Logic Ontologies to ABox and Query Examples
por: Funk, Maurice, et al.
Publicado: (2025)

Towards Understanding the Expressive Power of GNNs with Global Readout
por: Funk, Maurice, et al.
Publicado: (2026)

Expressive Power of Graph Transformers via Logic
por: Ahvonen, Veeti, et al.
Publicado: (2025)

IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements
por: Stol, Maarten C., et al.
Publicado: (2024)

Data Complexity in Expressive Description Logics With Path Expressions
por: Bednarczyk, Bartosz
Publicado: (2024)

Expressive Power of Deep Homomorphism Networks over Relational Databases
por: Schönherr, Moritz, et al.
Publicado: (2026)

Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2
por: Hauke, Stan P, et al.
Publicado: (2025)

Enhancing Logical Expressiveness in Graph Neural Networks via Path-Neighbor Aggregation
por: Yu, Han, et al.
Publicado: (2025)

Relative Expressiveness of Defeasible Logics II
por: Maher, Michael J.
Publicado: (2021)

Fitting Multilinear Polynomials for Logic Gate Networks
por: Kim, Youngsung
Publicado: (2026)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
por: Sälzer, Marco, et al.
Publicado: (2025)

Rethinking Explanations: Formalizing Contrast in Description Logics
por: Mahmood, Yasir, et al.
Publicado: (2026)

Model Change for Description Logic Concepts
por: Ozaki, Ana, et al.
Publicado: (2026)

Fuzzy Lattice-based Description Logic
por: Ding, Yiwen, et al.
Publicado: (2025)

Semantic Differentiation in Speech Emotion Recognition: Insights from Descriptive and Expressive Speech Roles
por: Guo, Rongchen, et al.
Publicado: (2025)

Transformers in the Service of Description Logic-based Contexts
por: Poulis, Angelos, et al.
Publicado: (2023)

Lower Bounds from Fitness Levels Made Easy
por: Doerr, Benjamin, et al.
Publicado: (2021)

Fitting Ontologies and Constraints to Relational Structures
por: Hosemann, Simon, et al.
Publicado: (2025)

Semiring Provenance for Lightweight Description Logics
por: Bourgaux, Camille, et al.
Publicado: (2023)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
por: Bednarczyk, Bartosz
Publicado: (2023)

To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits
por: Lazzari, Nicolas, et al.
Publicado: (2026)

Transformer-based Language Models for Reasoning in the Description Logic ALCQ
por: Poulis, Angelos, et al.
Publicado: (2024)

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
por: Chaudhri, Vinay K., et al.
Publicado: (2013)

Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics
por: Bienvenu, Meghyn, et al.
Publicado: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
por: Demri, Stéphane, et al.
Publicado: (2026)

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
por: Gandarela, João Pedro, et al.
Publicado: (2024)

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
por: Grau, Bernardo Cuenca, et al.
Publicado: (2025)

Dual Box Embeddings for the Description Logic EL++
por: Jackermeier, Mathias, et al.
Publicado: (2023)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
por: Bourgaux, Camille, et al.
Publicado: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
por: Zese, Riccardo, et al.
Publicado: (2023)

A New Tractable Description Logic under Categorical Semantics
por: Duc, Chan Le, et al.
Publicado: (2025)

Helmsman: Autonomous Synthesis of Federated Learning Systems via Collaborative LLM Agents
por: Li, Haoyuan, et al.
Publicado: (2025)

MotionScript: Natural Language Descriptions for Expressive 3D Human Motions
por: Yazdian, Payam Jome, et al.
Publicado: (2023)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
por: Proost, Cas, et al.
Publicado: (2026)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
por: Köhler, Dominik, et al.
Publicado: (2024)

LLM-based Argument Mining meets Argumentation and Description Logics: a Unified Framework for Reasoning about Debates
por: Alfano, Gianvincenzo, et al.
Publicado: (2026)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
por: Ardon, Leo, et al.
Publicado: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Symmetries and Expressive Requirements for Learning General Policies
por: Drexler, Dominik, et al.
Publicado: (2024)