Method, system, and computer program for automated diagnostic with description logic reasoning

摘要

The present invention is directed to a method, system, and computer software for automated system diagnostic with description logic reasoning, the method for system diagnosis detection, comprising employing a logic-based formal tentative diagnosis detection method, wherein the formal tentative diagnosis detection method is built by a plurality of ontologies that are interrelated via a plurality of logical statements, wherein the plurality of ontologies represent system observables and expert knowledge regarding the system, and the system diagnosis detection model is characterized in that the expert knowledge regarding the system is coordinated with the system observables to obtain a system diagnostic.