Apparatus for processing data in a computer-aided logic system, and appropriate method

摘要

An apparatus for processing data in a computer-aided logic system includes at least one reasoning device having a reasoner, which draws conclusions on the basis of a semantic model and a model instance of the semantic model using data, at least one data source for providing data for processing by the reasoning device, and at least one application which makes a request to the reasoning device and receives results of conclusions from the reasoning device. The reasoning device and the data source interact such that the reasoning device takes an event which has occurred in the data source, particularly at particular times, as a basis for receiving associated event-based data from the data source for the purpose of drawing a causal and/or temporal-based conclusion. The information about the event-based data from the data source includes a temporal and a causal component. There are also described a related method and implementation.

主权项

1. An apparatus for processing data in a computer-aided logic system, comprising:
at least one reasoning device having a reasoner configured to make inferences based on a semantic model and a model instance of the semantic model using data; at least one data source connected to said at least one reasoning device for providing data for processing by said reasoning device; at least one application configured to make a request to said reasoning device and to receive results of inferences from said reasoning device; said reasoning device and said data source interacting in such a way that said reasoning device receives associated event-based data from said data source for making a causal and/or temporal inference at a time triggered by a determination that an event has occurred in said data source, and wherein information about the event-based data from said at least one data source includes a temporal component and a causal component.