A hierarchy of faithfulness criteria for knowledge base completion

arXiv:2609.27863 · cs.AI · Submitted 2026-08-20 · Read on arXiv

cs.AI

Submitted: 2026-08-20

Updated: 2026-08-20

Code: https://github.com/bio-ontology-research-group/kbc

Terminology

• Ontology — 34× in this paper · explained in 2 episodes
• Axioms — 31× in this paper · explained in 2 episodes
• AUC — 25× in this paper · explained in 2 episodes
• Admissibility — 18× in this paper · explained in 2 episodes
• Embeddings — 15× in this paper · explained in 2 episodes
• Knowledge Graph — 13× in this paper · explained in 7 episodes
• Accuracy — 7× in this paper · explained in 1 episode
• Knowledge graphs — 3× in this paper · explained in 2 episodes
• Approximate Counting — 2× in this paper · explained in 1 episode
• Benchmark — 2× in this paper · explained in 2 episodes
• Calibration — 2× in this paper · explained in 7 episodes
• International Joint Conference on Artificial Intelligence — 2× in this paper
• Consistency — 1× in this paper · explained in 3 episodes
• International Conference on Learning Representations — 1× in this paper
• International Conference on Machine Learning — 1× in this paper
• International Semantic Web Conference — 1× in this paper
• Interpretability — 1× in this paper · explained in 15 episodes
• Knowledge Graph Completion (KGC) — 1× in this paper · explained in 2 episodes
• Principles of Knowledge Representation and Reasoning — 1× in this paper
• Representation Learning — 1× in this paper · explained in 2 episodes

Sources

• Strong Faithfulness for ELH Ontology Embeddings
• Logical Neural Networks
• NeurASP: Embracing Neural Networks into Answer Set Programming

Related papers

• MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
• Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
• The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
• MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
• Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems
• VSAL: A Vision Solver with Adaptive Layouts for Graph Property Detection