Oleg Sychev, Mikhail Denisov, Anton Anikin. Verifying algorithm traces and fault reason determining using ontology reasoning. In Kerry L. Taylor, Rafael Gonçalves, Freddy Lécué, Jun Yan, editors, Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), Globally online, November 1-6, 2020 (UTC). Volume 2721 of CEUR Workshop Proceedings, pages 49-54, CEUR-WS.org, 2020. [doi]
Abstract is missing.