PROCESSING A TECHNICAL SYSTEM

• US 20140358865A1
• Filed: 12/28/2011
• Published: 12/04/2014
• Est. Priority Date: 12/28/2011
• Status: Abandoned Application

• Current Assignee: Siemens AG
• Original Assignee: Siemens AG
• Inventors: Brummel, Hans-Gerd, Grimm, Stephan, Hubauer, Thomas, Roshchin, Mikhail, Watzke, Michael
• Application Number:
  US14/369,826
• Publication Number:
  US 20140358865A1
• Time in Patent Office: Days
• US Class Current: 707/687
• CPC Class Codes: G06F 16/2365 Ensuring data consistency and integrity
• CPC Class Codes: G06F 16/245 Query processing
• CPC Class Codes: G06N 5/025 Extracting rules from data
• CPC Class Codes: G06N 5/041 Abduction

Abstract

Rules of a rule base are transformed in an automated fashion in order to be able to conduct consistency checks and generate explanations and thus classify and correct existing rules. This is beneficial in particular in large systems with existing rule bases, e.g., wherein each rule is associated with at least a diagnostic task of a component of a technical system, e.g., a power system. The task can be subject to fault detection, fault isolation, predictive diagnosis or reporting. The solution presented provides an overview of large sets of rules and thus allows determining which rules are suitable and which are not. The invention is applicable for all kinds of technical systems, e.g., industry and automation systems, in particular power systems.

Claims

1. A method for processing rules governing functioning of a technical system, the method comprising:

receiving by a module comprising an automated data processor, rules of a rule base;

translating the rules into description logic axioms;

receiving sensor information at various times and further processing the description logic axioms based on the sensor information;

processing, by a reasoning component of the module, a query based on said description logic axioms; and

outputting a response to the query.

2. The method according to claim 1, wherein the rules of the rule base are translated into a rule interchange format and then the translated rules are transformed into the description logic axioms.

3. The method according to claim 1, wherein transforming the rules into description logic axioms comprises at least one of the following steps:

parsing of the rules;

providing an object-based rule representation;

providing a graph-based rule representation;

serializing the rules;

creating or modifying of at least one model based on the rules; and

transforming the rules into a description language.

4. The method according to claim 1, further comprising:

debugging by a debugging component, the description logic axioms;

complying said query for the reasoning component; and

wherein the debugging is performed prior to processing the query by the reasoning component.

5. The method according to claim 4, further comprising performing by the debugging component, at least one of the following steps:

parsing of the description logic axioms;

time slicing of data provided by at least one sensor and/or a set of basic assumptions; and

conveying the query to the reasoning component.

6. The method according to claim 4, wherein the debugging component utilizes a description language.

7. The method according to claim 1, further comprising performing, by the reasoning component at least one of the following steps:

conducting a consistency check by conducting a deduction;

generating an explanation by conducting a relaxed abduction.

8. The method according to claim 7, wherein at least one of the conducting, by said reasoning component, of the consistency check and the generating by the reasoning component, of the explanation is based on OWL axioms utilizing a description logic.

12. A computer-readable medium having computer-executable instructions adapted to cause a computer to perform the steps of the method according to claim 1.

13. The method of claim 3, wherein the description language is EL+.

14. The method of claim 6, wherein the description language is EL+.

15. The method of claim 8, wherein the description language is EL+.

9. A device for processing rules of a technical system comprising a processing comprising an automated processor, the device comprising:

a module configured to receive rules of a rule base;

the module further configured to transform the rules of the rule base into axioms;

a reasoning component configured to process a query based on the description logic axioms; and

the module configured to output a response to the query.

10. The device of claim 9, wherein the device is at least one of an administration, a debugging and a diagnosis device of the technical system.

11. (canceled)