Kaneiwa, K., & Takahashi, D. (2024). The completeness of reasoning algorithms for clause sets in description logic <mml: Math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si4.svg" display="inline" id="d1e76"><mml:mi mathvariant="script">ALC</mml:mi></mml:math>. Knowledge-Based Systems, 286, 111405. https://doi.org/10.1016/j.knosys.2024.111405
Citace podle Chicago (17th ed.)
Kaneiwa, Ken, a Daiki Takahashi. "The Completeness of Reasoning Algorithms for Clause Sets in Description Logic
Kaneiwa, Ken, a Daiki Takahashi. "The Completeness of Reasoning Algorithms for Clause Sets in Description Logic