The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC.

Daiki Takahashi Ken Kaneiwa

Published in: CoRR (2022)

Keyphrases

orders of magnitude
learning algorithm
optimization problems
significant improvement
times faster
artificial intelligence
computational cost
benchmark datasets
neural network
machine learning algorithms