Confidential — Stefan Michaelcheck Only

Application of Typed Operational System in Knowledge Graph Reasoning

2026formal foundationsnovelframework

Haipeng Peng

Zenodo (CERN European Organization for Nuclear Research)

https://doi.org/10.5281/zenodo.19557123OpenAlex: W7154081583
1
URLs Found
0
Internal Citations
1
Authors
usable
Abstract Quality
GPT-5.5 Abstract Analysis

Problems Identified (2)

Limitations of traditional KG reasoning: Traditional knowledge graph reasoning methods have dispersed representation, difficulty fusing multi-path information, weak interpretability, and poor integration with deep learning.

Limitations of traditional KG reasoning: Traditional knowledge graph reasoning methods have dispersed representation, difficulty fusing multi-path information, weak interpretability, and poor integration with deep learning.

Proposed Solutions (4)

Typed operational KG reasoning framework: The paper proposes a typed operational system framework that represents and reasons over knowledge graphs by unifying entities, relations, and attributes as weighted sets.

Algebraic KG reasoning operations: The approach implements reasoning tasks using algebraic operations such as union addition, Cartesian product, and projection.

Typed operational KG reasoning framework: The paper proposes a typed operational system framework that represents and reasons over knowledge graphs by unifying entities, relations, and attributes as weighted sets.

Algebraic KG reasoning operations: The approach implements reasoning tasks using algebraic operations such as union addition, Cartesian product, and projection.

Results (2)

KG reasoning task implementation:

KG reasoning task implementation:

Research Domain

Knowledge graph reasoning

← Back to all papers