Abstract:Knowledge graph reasoning (KGR) aims to infer new knowledge or detect noises, which is essential for improving the quality of knowledge graphs. Recently, various KGR techniques, such as symbolic- and embedding-based methods, have been proposed and shown strong reasoning ability. Symbolic-based reasoning methods infer missing triples according to predefined rules or ontologies. Although rules and axioms have proven effective, it is difficult to obtain them. Embedding-based reasoning methods represent entities and relations as vectors, and complete KGs via vector computation. However, they mainly rely on structural information and ignore implicit axiom information not predefined in KGs but can be reflected in data. That is, each correct triple is also a logically consistent triple and satisfies all axioms. In this paper, we propose a novel NeuRal Axiom Network (NeuRAN) framework that combines explicit structural and implicit axiom information without introducing additional ontologies. Specifically, the framework consists of a KG embedding module that preserves the semantics of triples and five axiom modules that encode five kinds of implicit axioms. These axioms correspond to five typical object property expression axioms defined in OWL2, including ObjectPropertyDomain, ObjectPropertyRange, DisjointObjectProperties, IrreflexiveObjectProperty and AsymmetricObjectProperty. The KG embedding module and axiom modules compute the scores that the triple conforms to the semantics and the corresponding axioms, respectively. Compared with KG embedding models and CKRL, our method achieves comparable performance on noise detection and triple classification and achieves significant performance on link prediction. Compared with TransE and TransH, our method improves the link prediction performance on the Hits@1 metric by 22.0% and 20.8% on WN18RR-10% dataset, respectively.

Ontology Reduction Based on Axiomatic Cognitive Model for Ontology Learning

Concise and Organized Perception Facilitates Large Language Models for Deductive Reasoning.

An efficient multi-strategy ontology mapping method

Ontology modeling of domain knowledge in semantic learning Web

A Constructivist Ontology Relation Learning Method

Neural Axiom Network for Knowledge Graph Reasoning

Approximate Ontology Reasoning for Domain-Specific Knowledge Graph based on Deep Learning

Theoretical framework for distributed reduction in concept lattice

An Ontology-Based Approach to Metaphor Cognitive Computation

Reduction Method for Concept Lattices Based on Rough Set Theory and Its Application

Concept reduction and concept characteristics in formal concept analysis

A Q-learning Approach to Attribute Reduction.

An Incremental Approach For Attribute Reduction In Concept Lattice

Enabling Knowledge Refinement Upon New Concepts in Abductive Learning.

Vector-based Attribute Reduction Method for Formal Contexts.

Can Structured Data Reduce Epistemic Uncertainty?

Ontology Revision based on Pre-trained Language Models

Deep Learning for Ontology Reasoning

A Study on AI-FML Robotic Agent for Student Learning Behavior Ontology Construction

Repairing Ontologies via Axiom Weakening

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic