Abstract:Reasoning is essential for the development of large knowledge graphs, especially for completion, which aims to infer new triples based on existing ones. Both rules and embeddings can be used for knowledge graph reasoning and they have their own advantages and difficulties. Rule-based reasoning is accurate and explainable but rule learning with searching over the graph always suffers from efficiency due to huge search space. Embedding-based reasoning is more scalable and efficient as the reasoning is conducted via computation between embeddings, but it has difficulty learning good representations for sparse entities because a good embedding relies heavily on data richness. Based on this observation, in this paper we explore how embedding and rule learning can be combined together and complement each other's difficulties with their advantages. We propose a novel framework IterE iteratively learning embeddings and rules, in which rules are learned from embeddings with proper pruning strategy and embeddings are learned from existing triples and new triples inferred by rules. Evaluations on embedding qualities of IterE show that rules help improve the quality of sparse entity embeddings and their link prediction results. We also evaluate the efficiency of rule learning and quality of rules from IterE compared with AMIE+, showing that IterE is capable of generating high quality rules more efficiently. Experiments show that iteratively learning embeddings and rules benefit each other during learning and prediction.

Prioritizing Default Rules Embedded in Description Logic Knowledge Base

A Prioritized Default Extension to Description Logic Knowledge Base

The expressive language ALCNHR+K(D) for knowledge reasoning

Product Knowledge Reasoning

Updating ontologies and general rules

Alc(P)(U): An Integration Of Description Logic And General Rules

A Tableau Algorithm For Paraconsistent And Nonmonotonic Reasoning In Description Logic-Based System

A Base Logic for Default Reasoning

Complexity of Prioritized Default Logics

Iteratively Learning Embeddings and Rules for Knowledge Graph Reasoning

Leveraging Logical Rules in Knowledge Editing: A Cherry on the Top

Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective

The Datalog(Dl) Combination Of Deduction Rules And Description Logics

Discovering Logical Knowledge for Deep Question Answering

Rule Extraction in Combining Description Logics with DL-safe Rules

DatalogDL: Datalog Rules Parameterized by Description Logics

Restricted Four-Valued Logic for Default Reasoning.

Borhan: A Novel System for Prioritized Default Logic

Knowledge Reasoning via Jointly Modeling Knowledge Graphs and Soft Rules

Restricted Semantics for Default Reasoning.

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation