Image de couverture de livre

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Li, Ying, Lambrix, Patrick
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
par: Bella, Giampaolo, et autres
Publié: (2023)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
par: Cantale, Claudia, et autres
Publié: (2017)

Capabilities: An Ontology
par: Beverley, John, et autres
Publié: (2024)

Enriching Ontologies with Disjointness Axioms using Large Language Models
par: Crum, Elias, et autres
Publié: (2024)

Commonsense Ontology Micropatterns
par: Eells, Andrew, et autres
Publié: (2024)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
par: Prudhomme, Tim, et autres
Publié: (2024)

The Common Core Ontologies
par: Jensen, Mark, et autres
Publié: (2024)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
par: Oudshoorn, Anouk, et autres
Publié: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
par: Hinnerichs, Tilman, et autres
Publié: (2022)

Lattice-preserving $\mathcal{ALC}$ ontology embeddings with saturation
par: Zhapa-Camacho, Fernando, et autres
Publié: (2023)

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

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
par: Wang, Keyu, et autres
Publié: (2024)

Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
par: Gianola, Alessandro, et autres
Publié: (2023)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
par: de Lima, Tiago, et autres
Publié: (2024)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
par: Patil, Jaikrishna Manojkumar, et autres
Publié: (2025)

Operator-based semantics for choice programs: is choosing losing? (full version)
par: Heyninck, Jesse
Publié: (2024)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
par: Boldachev, Alexander
Publié: (2025)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
par: Salhi, Yakoub
Publié: (2024)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
par: Wernhard, Christoph
Publié: (2017)

Automated planning with ontologies under coherence update semantics (Extended Version)
par: Borgwardt, Stefan, et autres
Publié: (2025)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
par: Fandinno, Jorge, et autres
Publié: (2025)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
par: Heyninck, Jesse
Publié: (2024)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
par: Gonzalez, Salwa Tabet, et autres
Publié: (2024)

Neural Network Verification using Partial Multi-Neuron Relaxation
par: Shmuel, Ido, et autres
Publié: (2026)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
par: Spaans, Jeroen, et autres
Publié: (2025)

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
par: Rodler, Patrick
Publié: (2022)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
par: Srbinovska, Anita, et autres
Publié: (2026)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
par: Parent, Xavier
Publié: (2026)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
par: Xu, Yang, et autres
Publié: (2025)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
par: Aria, Hadi Partovi, et autres
Publié: (2026)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
par: Hecher, Markus, et autres
Publié: (2024)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
par: Sevilla, Jaime, et autres
Publié: (2024)

Techniques for Measuring the Inferential Strength of Forgetting Policies
par: Doherty, Patrick, et autres
Publié: (2024)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
par: Doherty, Patrick, et autres
Publié: (2023)

Logic Synthesis with Generative Deep Neural Networks
par: Li, Xihan, et autres
Publié: (2024)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
par: Allen, Bradley P., et autres
Publié: (2025)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
par: Bienvenu, Meghyn, et autres
Publié: (2020)

A Fourfold Pathogen Reference Ontology Suite
par: Babcock, Shane, et autres
Publié: (2024)