Imagen de Portada

Enriching Ontologies with Disjointness Axioms using Large Language Models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Crum, Elias, De Santis, Antonio, Ovide, Manon, Pan, Jiaxin, Pisu, Alessia, Lazzari, Nicolas, Rudolph, Sebastian
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
por: Wang, Keyu, et al.
Publicado: (2024)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
por: Yoo, Harim
Publicado: (2025)

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

The Common Core Ontologies
por: Jensen, Mark, et al.
Publicado: (2024)

Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix)
por: Álvarez, Lucía Gómez, et al.
Publicado: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)

Capabilities: An Ontology
por: Beverley, John, et al.
Publicado: (2024)

On the Axioms of Arboreal Categories
por: Jakl, Tomáš, et al.
Publicado: (2026)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
por: Feller, Thomas, et al.
Publicado: (2023)

Commonsense Ontology Micropatterns
por: Eells, Andrew, et al.
Publicado: (2024)

The Largest Suslin Axiom
por: Sargsyan, Grigor, et al.
Publicado: (2021)

The Open Coloring Axiom
por: Matos-Wiederhold, Tonatiuh
Publicado: (2022)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
por: Ostropolski-Nalewaja, Piotr, et al.
Publicado: (2024)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
por: Schirrmacher, Nicole, et al.
Publicado: (2023)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
por: Li, Ying, et al.
Publicado: (2024)

Axiom $\mathcal{A}$ and supercompactness
por: Poveda, Alejandro
Publicado: (2024)

Separating Subversion Forcing Axioms
por: Sakai, Hiroshi, et al.
Publicado: (2023)

Large Language Model for OWL Proofs
por: Yang, Hui, et al.
Publicado: (2026)

The Galvin property under the Ultrapower Axiom
por: Benhamou, Tom, et al.
Publicado: (2023)

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

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
por: Hinnerichs, Tilman, et al.
Publicado: (2022)

Can Large Language Models Autoformalize Kinematics?
por: Kabra, Aditi, et al.
Publicado: (2025)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
por: Bella, Giampaolo, et al.
Publicado: (2023)

Laurel: Unblocking Automated Verification with Large Language Models
por: Mugnier, Eric, et al.
Publicado: (2024)

Large Language Models for Interpretable Mental Health Diagnosis
por: Kim, Brian Hyeongseok, et al.
Publicado: (2025)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
por: Cantale, Claudia, et al.
Publicado: (2017)

Large Language Models Imitate Logical Reasoning, but at what Cost?
por: McGinness, Lachlan, et al.
Publicado: (2025)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
por: Case, Denise M.
Publicado: (2026)

Structures Associated with Real Closed Fields and the Axiom of Choice
por: Carl, Merlin
Publicado: (2014)

A Fourfold Pathogen Reference Ontology Suite
por: Babcock, Shane, et al.
Publicado: (2024)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
por: Khalil, Khurram, et al.
Publicado: (2025)

Disjoint Partial Enumeration without Blocking Clauses
por: Spallitta, Giuseppe, et al.
Publicado: (2023)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
por: He, Jialiang, et al.
Publicado: (2026)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
por: Orvalho, Pedro, et al.
Publicado: (2026)

Why Cannot Large Language Models Ever Make True Correct Reasoning?
por: Cheng, Jingde
Publicado: (2025)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
por: Zang, Zhengqing, et al.
Publicado: (2026)

Comparing Anti-foundation Axioms by Comparing Identity Conditions for Sets
por: Ju, Daheng, et al.
Publicado: (2024)

Left-Linear Completion with AC Axioms
por: Niederhauser, Johannes, et al.
Publicado: (2024)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
por: Sundermann, Chico, et al.
Publicado: (2025)

Generics and Default Reasoning in Large Language Models
por: Kirkpatrick, James Ravi, et al.
Publicado: (2025)