Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Li, Ying, Lambrix, Patrick |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| 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)
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)
par: Cantale, Claudia, et autres
Publié: (2017)
Capabilities: An Ontology
par: Beverley, John, et autres
Publié: (2024)
par: Beverley, John, et autres
Publié: (2024)
Enriching Ontologies with Disjointness Axioms using Large Language Models
par: Crum, Elias, et autres
Publié: (2024)
par: Crum, Elias, et autres
Publié: (2024)
Commonsense Ontology Micropatterns
par: Eells, Andrew, et autres
Publié: (2024)
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)
par: Prudhomme, Tim, et autres
Publié: (2024)
The Common Core Ontologies
par: Jensen, Mark, et autres
Publié: (2024)
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)
par: Oudshoorn, Anouk, et autres
Publié: (2025)
FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
par: Hinnerichs, Tilman, et autres
Publié: (2022)
par: Hinnerichs, Tilman, et autres
Publié: (2022)
Lattice-preserving $\mathcal{ALC}$ ontology embeddings with saturation
par: Zhapa-Camacho, Fernando, et autres
Publié: (2023)
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)
par: Case, Denise M.
Publié: (2026)
Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
par: Wang, Keyu, et autres
Publié: (2024)
par: Wang, Keyu, et autres
Publié: (2024)
Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)
par: Leisegang, Nicholas, et autres
Publié: (2025)
Object-Centric Conformance Alignments with Synchronization (Extended Version)
par: Gianola, Alessandro, et autres
Publié: (2023)
par: Gianola, Alessandro, et autres
Publié: (2023)
A Computationally Grounded Framework for Cognitive Attitudes (extended version)
par: de Lima, Tiago, et autres
Publié: (2024)
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)
par: Patil, Jaikrishna Manojkumar, et autres
Publié: (2025)
Operator-based semantics for choice programs: is choosing losing? (full version)
par: Heyninck, Jesse
Publié: (2024)
par: Heyninck, Jesse
Publié: (2024)
Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
par: Boldachev, Alexander
Publié: (2025)
par: Boldachev, Alexander
Publié: (2025)
A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
par: Salhi, Yakoub
Publié: (2024)
par: Salhi, Yakoub
Publié: (2024)
The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
par: Wernhard, Christoph
Publié: (2017)
par: Wernhard, Christoph
Publié: (2017)
Automated planning with ontologies under coherence update semantics (Extended Version)
par: Borgwardt, Stefan, et autres
Publié: (2025)
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)
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)
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)
par: Gonzalez, Salwa Tabet, et autres
Publié: (2024)
Neural Network Verification using Partial Multi-Neuron Relaxation
par: Shmuel, Ido, et autres
Publié: (2026)
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)
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)
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)
par: Srbinovska, Anita, et autres
Publié: (2026)
Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
par: Parent, Xavier
Publié: (2026)
par: Parent, Xavier
Publié: (2026)
Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
par: Xu, Yang, et autres
Publié: (2025)
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)
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)
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)
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)
par: Sevilla, Jaime, et autres
Publié: (2024)
Techniques for Measuring the Inferential Strength of Forgetting Policies
par: Doherty, Patrick, et autres
Publié: (2024)
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)
par: Doherty, Patrick, et autres
Publié: (2023)
Logic Synthesis with Generative Deep Neural Networks
par: Li, Xihan, et autres
Publié: (2024)
par: Li, Xihan, et autres
Publié: (2024)
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
par: Allen, Bradley P., et autres
Publié: (2025)
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)
par: Bienvenu, Meghyn, et autres
Publié: (2020)
A Fourfold Pathogen Reference Ontology Suite
par: Babcock, Shane, et autres
Publié: (2024)
par: Babcock, Shane, et autres
Publié: (2024)
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)