The completeness of reasoning algorithms for clause sets in description logic ALC.
Ken KaneiwaDaiki TakahashiPublished in: Knowl. Based Syst. (2024)
Keyphrases
- learning algorithm
- significant improvement
- theoretical analysis
- machine learning
- data structure
- knowledge representation
- computationally efficient
- computational complexity
- computational cost
- times faster
- worst case
- modal logic
- neural network
- orders of magnitude
- benchmark datasets
- machine learning algorithms
- case based reasoning
- knowledge base