Abstract
A Formal Decision Context (FDC) is a knowledge representation for decision-making, in which decision implications capture the dependencies between conditions and conclusions, primarily based on non-semantic information. Lack of semantic information can lead to rule redundancy and a lack of corresponding background knowledge in FDC. This paper addresses the limitations of FDC with regard to the lack of semantic information by introducing a semantic formal decision context (SFDC) that integrates domain ontologies into description logic. Hence, we construct an SFDC with semantic knowledge that enriches the decision-making process. We propose a semantic decision implication framework based on SFDC that leverages the reasoning capabilities of description logics to enhance the comprehensiveness and reduce redundancy in decision implication. To more effectively demonstrate that our method significantly reduces information redundancy while preserving the completeness of semantic decision implications, we have validated the algorithm for generating the simplest semantic decision implication set across six publicly available datasets. The experimental results demonstrate that our algorithm achieves remarkable performance in improving the reduction efficiency of decision implications.
Original language | English |
---|---|
Article number | 122330 |
Pages (from-to) | 1-13 |
Number of pages | 13 |
Journal | Information Sciences |
Volume | 717 |
Early online date | 21 May 2025 |
DOIs | |
Publication status | Published online - 21 May 2025 |
Bibliographical note
Publisher Copyright:© 2025 Elsevier Inc.
Data Access Statement
Data will be made available on request.Keywords
- Decision implication
- Description logics
- Formal concept analysis
- Knowledge representation and reasoning
- Ontology