The completeness of reasoning algorithms for clause sets in description logic ALC
Article in Knowledge-Based Systems (February 2024)
The most recent citing publications are shown below. View all 229 publications that cite this research output on Dimensions.
Article in Knowledge-Based Systems (February 2024)
Article in Proceedings of the Institution of Mechanical Engineers Part G Journal of Aerospace Engineering (October 2023)
Preprint in arXiv (September 2022)