Abstract:The ontology knowledge base (KB) can be divided into two parts: TBox and ABox, where the former models schema-level knowledge within the domain, and the latter is a set of statements of assertions or facts about instances. ABox reasoning is a process of discovering implicit knowledge in ABox based on the existing KB, which is of great value in KB applications. ABox reasoning is influenced by both the complexity of TBox and scale of ABox. The traditional logic-based ontology reasoning methods are usually designed to be provably sound and complete but suffer from long algorithm runtimes and do not scale well for ontology KB represented by OWL DL (Description Logic). In some application scenarios, the soundness and completeness of reasoning results are not the key constraints, and it is acceptable to sacrifice them in exchange for the improvement of reasoning efficiency to some extent. Based on this view, an approximate reasoning method for large-scale ABox in OWL DL KBs was proposed, which is named the ChunfyReasoner (CFR). The CFR introduces neural-symbolic learning into ABox reasoning and integrates the advantages of symbolic systems and neural networks (NNs). By training the NN model, the CFR approximately compiles the logic deduction process of ontology reasoning, which can greatly improve the reasoning speed while ensuring higher reasoning quality. In this paper, we state the basic idea, framework, and construction process of the CFR in detail, and we conduct experiments on two open-source ontologies built on OWL DL. The experimental results verify the effectiveness of our method and show that the CFR can support the applications of large-scale ABox reasoning of OWL DL KBs.

Optimization of Large-Scale Knowledge Forward Reasoning Based on OWL 2 DL Ontology.

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

Understanding and Improving Ontology Reasoning Efficiency Through Learning and Ranking

OWL reasoning over big biomedical data

KGRL: An OWL2 RL Reasoning System for Large Scale Knowledge Graph

Understanding and Improving Ontology

A Survey of Large-Scale Reasoning on the Web of Data

A survey of large-scale reasoning on the Web of data.

A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL

Large-Scale Reasoning with OWL

Concise and Organized Perception Facilitates Reasoning in Large Language Models

Approximate Reasoning for Large-Scale ABox in OWL DL Based on Neural-Symbolic Learning

Reasoning with Large Scale Ontologies in Fuzzy pD* Using MapReduce

Large Scale Semantic Rule-based Backward Chaining Reasoning on Spark

Reasoning over RDF Knowledge Bases using Deep Learning

A Framework for Parallelizing OWL Classification in Description Logic Reasoners

Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning

Large Language Models Are Cross-Lingual Knowledge-Free Reasoners

Praedixi, Redegi, Cogitavi: Adaptive knowledge for resource-aware semantic reasoning

Enhancing DLV for Large-Scale Reasoning

Reason more like human: Incorporating meta information into hierarchical reinforcement learning for knowledge graph reasoning