发明名称 |
METHOD, SYSTEM, AND COMPUTER PROGRAM FOR AUTOMATED DIAGNOSTIC WITH DESCRIPTION LOGIC REASONING |
摘要 |
<p>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.</p> |
申请公布号 |
WO2012052280(A1) |
申请公布日期 |
2012.04.26 |
申请号 |
WO2011EP67252 |
申请日期 |
2011.10.04 |
申请人 |
SIEMENS AKTIENGESELLSCHAFT;HOFFMANN, WERNER;HUBAUER, THOMAS;KLOESSINGER, RALF;PIRKER, MICHAEL;ROSHCHIN, MIKHAIL |
发明人 |
HOFFMANN, WERNER;HUBAUER, THOMAS;KLOESSINGER, RALF;PIRKER, MICHAEL;ROSHCHIN, MIKHAIL |
分类号 |
G06F11/25;G06F11/22 |
主分类号 |
G06F11/25 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|