Abstract: A system for providing a generic query interface for industrial systems of different customers includes an interface configured to input customer queries of customer industrial systems. The system also includes a query processing unit that is configured to automatically perform a query decomposition of the input customer query into query parts based on a query reformulation model stored in a database of the system. For each decomposed query part, it is determined whether the decomposed query part is available in an application semantic model stored in the database of the system. Query parts not available in the application semantic model are automatically reformulated based on the query reformulation model, and a query recomposition of the query parts available in the application semantic model and the reformulated semantic query parts is automatically performed to generate a generic query applied to an application logic of the system to provide a query result.

Abstract: A system for providing a generic query interface for industrial systems of different customers includes an interface configured to input customer queries of customer industrial systems. The system also includes a query processing unit that is configured to automatically perform a query decomposition of the input customer query into query parts based on a query reformulation model stored in a database of the system. For each decomposed query part, it is determined whether the decomposed query part is available in an application semantic model stored in the database of the system. Query parts not available in the application semantic model are automatically reformulated based on the query reformulation model, and a query recomposition of the query parts available in the application semantic model and the reformulated semantic query parts is automatically performed to generate a generic query applied to an application logic of the system to provide a query result.

Abstract: A system and method is provided for the computer-assisted creation of rules for monitoring and/or diagnosing a technical plant. The system includes a digital knowledge base in the form of a first ontology, including a plant ontology, which describes the technical plant, and a rule ontology, which includes rules, wherein a particular rule is linked by means of a condition relation to concepts in the form of one or more conditions, which refer to one or more concepts of the plant ontology, and is linked by means of a consequence relation to the concept of a consequence derived from the one or more conditions, which consequence refers to one or more concepts of the plant ontology.

Abstract: A method is disclosed for operating a programmable logic controller which executes program(s) based on cycles having a predetermined cycle time in a predefined memory. An automated reasoning method based on an ontology and a description logic is implemented in the programmable logic controller. To enable this, at least the concepts and roles of the ontology are encoded using index numbers and the axioms of the ontology are encoded using tuples of integral index numbers. The automated reasoning method is interrupted before the end of a cycle and subsequently resumed at the current status of program execution. This allows for the cyclic programming paradigm of a programmable logic controller. The method can be used for any types of programmable logic controller, e.g., controllers of devices belonging to an automation system or energy generation devices. In such scenarios the automated reasoning method may be used for diagnosing the corresponding devices.

Abstract: A database system may process multiple column-oriented tasks in parallel for a database being stored according to a row-partitioning protocol. The database system may determine when the query should process the column-oriented task serially or in parallel. For parallel processing, the database system may generate processing tasks for each unique column-oriented task contained in the query used to retrieve column data and to process the column data according to the column-oriented tasks requested. A method of operating the database system may determine that multiple column-oriented tasks included in a query are to be processed in parallel. The method may further include generating a processing task for each unique column-oriented task included in the query. The method may further include performing the column-oriented tasks in parallel based on the processing threads. The method may implement various considerations in determining to process to the column-oriented tasks in parallel.

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.

Abstract: There is provided a method, system and computer program for updating at least one component in a multi-component software application. The method includes receiving application data describing characteristics of the software application, receiving update data describing at least one update applicable to the software application and reviewing the application data and update data to determine whether the at least one update is applied to the software application.

Abstract: A method is disclosed for operating a programmable logic controller which executes program(s) based on cycles having a predetermined cycle time in a predefined memory. An automated reasoning method based on an ontology and a description logic is implemented in the programmable logic controller. To enable this, at least the concepts and roles of the ontology are encoded using index numbers and the axioms of the ontology are encoded using tuples of integral index numbers. The automated reasoning method is interrupted before the end of a cycle and subsequently resumed at the current status of program execution. This allows for the cyclic programming paradigm of a programmable logic controller. The method can be used for any types of programmable logic controller, e.g., controllers of devices belonging to an automation system or energy generation devices. In such scenarios the automated reasoning method may be used for diagnosing the corresponding devices.

Abstract: A method and system for performing logical partial declustering in a shared-nothing database environment. The solution defines a partial declustering technique that can be used to dynamically adapt the declustering of base tables or intermediate result sets. The partial declustering technique is defined to limit the number of partitions (P) involved in an operation. The technique is defined to limit the operation to a subset of the system partitioning map (SPM). There are two components: the association between the data values and partitions is altered by restricting the data values to P? partition values where P? is less than P; and the actual partitions of the SPM selected are then derived based on a seed derived from a dynamic parameter, such as a session number, or a static parameter, such as a table identifier. In the case of intermediate result sets the number of P? partitions selected is a cost based decision based on the estimated number of rows in the input intermediate result sets.

Abstract: There is provided a method, a system and a machine readable medium to execute a spatial query against a plurality of input tables of a distributed database.

Abstract: There is provided a method, system and computer program for updating at least one component in a multi-component software application. The method includes receiving application data describing characteristics of the software application, receiving update data describing at least one update applicable to the software application and reviewing the application data and update data to determine whether the at least one update is applied to the software application.

Abstract: There is provided a method, a system and a machine readable medium to execute a spatial query against a plurality of input tables of a distributed database.

Abstract: A method and system for performing logical partial declustering in a shared-nothing database environment. The solution defines a partial declustering technique that can be used to dynamically adapt the declustering of base tables or intermediate result sets. The partial declustering technique is defined to limit the number of partitions (P) involved in an operation. The technique is defined to limit the operation to a subset of the system partitioning map (SPM). There are two components: the association between the data values and partitions is altered by restricting the data values to P? partition values where P? is less than P; and the actual partitions of the SPM selected are then derived based on a seed derived from a dynamic parameter, such as a session number, or a static parameter, such as a table identifier. In the case of intermediate result sets the number of P? partitions selected is a cost based decision based on the estimated number of rows in the input intermediate result sets.

Abstract: A technique for retrieving from a database system data stored in one or more tables is useful in performing cost based query rewrite on user database queries. The technique involves receiving a database query having at least two input relations and evaluating the domain size of the join column(s) of at least one of the input relations. If the domain size of the join column(s) of at least one evaluated input relation is relatively small, the method replaces the input relation(s) in the query with one or more constant expressions. The method also includes evaluating the query and delivering the selected data to the user.