Temporal topological relationship transitivity reasoning method, device, equipment, medium and product

Abstract

This application relates to the field of temporal reasoning technology, providing a method, apparatus, device, medium, and product for transitive temporal topological relationship reasoning. The method includes: obtaining a first topological relationship between a first time interval and a second time interval, and a second topological relationship between the second time interval and a third time interval; determining a first temporal relational expression corresponding to the first topological relationship and a second temporal relational expression corresponding to the second topological relationship; and performing topological relationship reasoning on the first and third time intervals based on the first and second temporal relational expressions to obtain a third topological relationship between the first and third time intervals. The transitive temporal topological relationship reasoning method provided in this application transforms the complex reasoning in traditional graph structure reasoning into logical derivation based on endpoint constraints, fundamentally reducing the computational complexity of transitive reasoning and providing stronger interpretability, thus greatly improving overall reasoning efficiency.

Description

Technical Field

[0001] This application relates to the field of time-based reasoning technology, and in particular to a method, apparatus, device, medium, and product for time-based topological transitive reasoning. Background Technology

[0002] Transitive reasoning of temporal topology refers to the process of logically deriving implicit topological relationships between two other time intervals based on the known topological relationship between two time intervals. Temporal topology is an important component of temporal data mining and is widely used in spatiotemporal big data analysis, knowledge mining and reasoning, big data retrieval and recommendation, and other fields.

[0003] In transitive reasoning based on temporal topological relationships, graph structures are a commonly used reasoning tool. By abstracting time intervals as nodes in a graph and temporal topological relationships as directed edges between nodes, logical reasoning can be transformed into operations such as graph traversal and pathfinding. However, existing graph structure reasoning methods often suffer from high computational complexity and low reasoning efficiency when dealing with complex temporal topological relationships. Summary of the Invention

[0004] This application provides a method, apparatus, device, medium, and product for transitive reasoning of temporal topological relationships, which solves the problems of high computational complexity and low reasoning efficiency in existing technologies that use graph structures for transitive reasoning of temporal topological relationships.

[0005] Firstly, this application provides a method for transitive reasoning of temporal topological relationships, including: Obtain a first topological relationship between a first time interval and a second time interval, and a second topological relationship between the second time interval and a third time interval; the first time interval, the second time interval, and the third time interval are time entities with transitive relationships; Determine a first time relation corresponding to the first topological relationship and a second time relation corresponding to the second topological relationship; the first time relation is used to reflect the temporal relationship between the endpoints of the first time interval and the endpoints of the second time interval; the second time relation is used to reflect the temporal relationship between the endpoints of the second time interval and the endpoints of the third time interval. Based on the first time relation and the second time relation, topological relationship reasoning is performed on the first time interval and the third time interval to obtain the third topological relationship between the first time interval and the third time interval.

[0006] In one embodiment, determining the first time relation corresponding to the first topological relation includes: Based on the temporal relationship between the first starting time point of the first time interval and the second starting time point of the second time interval, a first temporal relationship symbol between the first starting time point and the second starting time point is determined; Based on the temporal relationship between the first start time point of the first time interval and the second end time point of the second time interval, a second temporal relationship symbol between the first start time point and the second end time point is determined; Based on the temporal relationship between the first end time point of the first time interval and the second start time point of the second time interval, a third temporal relationship symbol between the first end time point and the second start time point is determined; Based on the temporal relationship between the first termination time point of the first time interval and the second termination time point of the second time interval, a fourth temporal relationship symbol between the first termination time point and the second termination time point is determined. The first time relation symbol, the second time relation symbol, the third time relation symbol, and the fourth time relation symbol are combined to form the first time relation formula corresponding to the first topological relation.

[0007] In one embodiment, determining the second time relation corresponding to the second topological relation includes: Based on the temporal relationship between the second starting time point of the second time interval and the third starting time point of the third time interval, a fifth temporal relationship symbol between the second starting time point and the third starting time point is determined; Based on the temporal relationship between the second start time point of the second time interval and the third end time point of the third time interval, a sixth temporal relationship symbol between the second start time point and the third end time point is determined. Based on the temporal relationship between the second end time point of the second time interval and the third start time point of the third time interval, a seventh time relationship symbol between the second end time point and the third start time point is determined. Based on the temporal relationship between the second termination time point of the second time interval and the third termination time point of the third time interval, an eighth temporal relationship symbol between the second termination time point and the third termination time point is determined. The fifth time relation symbol, the sixth time relation symbol, the seventh time relation symbol, and the eighth time relation symbol are combined to form the second time relation formula corresponding to the second topological relation.

[0008] In one embodiment, the step of performing topological relationship reasoning on the first time interval and the third time interval based on the first time relationship and the second time relationship to obtain a third topological relationship between the first time interval and the third time interval includes: Based on the first topological relationship inference symbol and the fifth topological relationship inference symbol, a ninth time relationship symbol is determined between the first starting time point and the third starting time point; the first topological relationship inference symbol is the first time relationship symbol or the second time relationship symbol, the fifth topological relationship inference symbol is the fifth time relationship symbol or the seventh time relationship symbol, and the first topological relationship inference symbol and the fifth topological relationship inference symbol have time topological relationship transitivity; Based on the second topological relationship inference symbol and the sixth topological relationship inference symbol, a tenth time relationship symbol is determined between the first start time point and the third end time point; the second topological relationship inference symbol is the first time relationship symbol or the second time relationship symbol, the sixth topological relationship inference symbol is the sixth time relationship symbol or the eighth time relationship symbol, and the second topological relationship inference symbol and the sixth topological relationship inference symbol have time topological relationship transitivity; Based on the third topological relationship inference symbol and the seventh topological relationship inference symbol, an eleventh time relationship symbol is determined between the first termination time point and the third start time point; the third topological relationship inference symbol is the third time relationship symbol or the fourth time relationship symbol, the seventh topological relationship inference symbol is the fifth time relationship symbol or the seventh time relationship symbol, and the third topological relationship inference symbol and the seventh topological relationship inference symbol have time topological relationship transitivity; Based on the fourth and eighth topological relationship inference symbols, a twelfth time relationship symbol is determined between the first termination time point and the third termination time point; the fourth topological relationship inference symbol is the third time relationship symbol or the fourth time relationship symbol, the eighth topological relationship inference symbol is the sixth time relationship symbol or the eighth time relationship symbol, and the fourth and eighth topological relationship inference symbols have time topological relationship transitivity; The ninth time relation symbol, the tenth time relation symbol, the eleventh time relation symbol, and the twelfth time relation symbol are combined to form the third time relation formula; Based on the third time relationship, a third topological relationship is determined between the first time interval and the third time interval.

[0009] In one embodiment, determining the ninth time relationship symbol between the first starting time point and the third starting time point based on the first topological relationship reasoning symbol and the fifth topological relationship reasoning symbol includes: Based on the first time relation symbol and the fifth time relation symbol, temporal relation reasoning is performed on the first starting time point and the third starting time point to obtain the first time relation reasoning result; Based on the second time relationship symbol and the seventh time relationship symbol, temporal relationship reasoning is performed on the first starting time point and the third starting time point to obtain the second time relationship reasoning result; Based on the first time relationship reasoning result and the second time relationship reasoning result, a ninth time relationship symbol between the first starting time point and the third starting time point is determined.

[0010] In one embodiment, the time-topological transitivity reasoning method further includes: Based on the first topological relationship and the second topological relationship, a query is performed in the binary temporal topological relationship transitivity inference matrix to obtain the topological relationship query result between the first time interval and the third time interval; the binary temporal topological relationship transitivity inference matrix is ​​used to store the mapping relationship between the topological relationship obtained after reasoning based on any two preset topological relationships in the preset topological relationship set and the two preset topological relationships. If the topology query result contains only one topology, then the topology query result is determined to be the third topology between the first time interval and the third time interval; If the topological relationship query result contains multiple topological relationships, then based on the first time relation corresponding to the first topological relationship and the second time relation corresponding to the second topological relationship, topological relationship reasoning is performed on the first time interval and the third time interval to obtain the third topological relationship between the first time interval and the third time interval.

[0011] Secondly, this application also provides a temporal topological relation transitive reasoning apparatus, comprising: The time topology relationship acquisition module is used to acquire a first topology relationship between a first time interval and a second time interval, and a second topology relationship between the second time interval and a third time interval; the first time interval, the second time interval, and the third time interval are time entities with transitive relationships; A time relationship determination module is used to determine a first time relationship corresponding to the first topological relationship and a second time relationship corresponding to the second topological relationship; the first time relationship is used to reflect the temporal relationship between the endpoints of the first time interval and the endpoints of the second time interval; the second time relationship is used to reflect the temporal relationship between the endpoints of the second time interval and the endpoints of the third time interval. The time topology transitivity reasoning module is used to perform topology reasoning on the first time interval and the third time interval based on the first time relation and the second time relation, so as to obtain the third topology relationship between the first time interval and the third time interval.

[0012] Thirdly, this application provides an electronic device, which includes a memory, a processor, and a computer program stored in the memory and executable on the processor. When the processor executes the program, it implements the steps of any of the time topological relation transitivity reasoning methods described above.

[0013] Fourthly, this application also provides a non-transitory computer-readable storage medium storing a computer program that, when executed by a processor, implements the steps of any of the above-described time topological transitivity reasoning methods.

[0014] Fifthly, this application also provides a computer program product comprising a computer program that can be stored on a non-transitory computer-readable storage medium, and which, when executed by the processor, implements the steps of any of the above-described time topological transitivity reasoning methods.

[0015] The temporal topological transitive reasoning method, apparatus, device, medium, and product provided in this application transform temporal topological relationships into temporal sequence relationships between endpoints. Based on these temporal sequence relationships, transitive reasoning of temporal topological relationships is performed to obtain implicit topological relationships. This transforms the complex path traversal and relationship matching in traditional graph structure reasoning into logical deduction based on endpoint constraints, fundamentally reducing the computational complexity of transitive reasoning. The implementation process is simpler and more intuitive, and the deduction rules based on endpoint constraints have stronger interpretability, avoiding errors caused by unclear association rules in graph structures. The reasoning results are more reliable, and the overall reasoning efficiency is greatly improved. Attached Figure Description

[0016] To more clearly illustrate the technical solutions in this application or the prior art, the drawings used in the description of the embodiments or the prior art will be briefly introduced below. Obviously, the drawings described below are some embodiments of this application. For those skilled in the art, other drawings can be obtained based on these drawings without creative effort.

[0017] Figure 1 This is one of the flowcharts of the transitive reasoning method for temporal topological relationships provided in this application.

[0018] Figure 2 This is a schematic diagram of 13 topological relationships across two time intervals provided in this application.

[0019] Figure 3 This is a schematic diagram of the symbolic reasoning process in the topological reasoning provided in this application.

[0020] Figure 4 This is a schematic diagram illustrating a specific example of the symbolic reasoning process in topological reasoning provided in this application.

[0021] Figure 5 This is the second flowchart of the transitive reasoning method for temporal topological relationships provided in this application.

[0022] Figure 6 This is a schematic diagram of the transitive reasoning results of "Overlaps" provided in this application.

[0023] Figure 7 This is the homepage interface for binary topological relation reasoning provided in this application.

[0024] Figure 8 The interface for binary topological relationship reasoning provided in this application is the "Before" and "Equals" interface.

[0025] Figure 9 This is the interface for calculating the results of selecting "Before" and "Equals" in the binary topological relationship reasoning provided in this application.

[0026] Figure 10 This is the interface for selecting "Overlaps" and "Overlaps" calculation results in the binary topological relationship reasoning provided in this application.

[0027] Figure 11 This is the interface for calculating the results of selecting "Before" and "After" in the binary topological relationship reasoning provided in this application.

[0028] Figure 12 This is a schematic diagram of the temporal topological transitivity inference device provided in this application.

[0029] Figure 13 This is a schematic diagram of the structure of the electronic device provided in this application. Detailed Implementation

[0030] To make the objectives, technical solutions, and advantages of this application clearer, the technical solutions of this application will be clearly and completely described below with reference to the accompanying drawings. Obviously, the described embodiments are only some embodiments of this application, not all embodiments. Based on the embodiments of this application, all other embodiments obtained by those skilled in the art without creative effort are within the scope of protection of this application.

[0031] The terms "first," "second," etc., used in this application are used to distinguish similar objects and not to describe a specific order or sequence. It should be understood that such data can be interchanged where appropriate so that embodiments of this application can be implemented in orders other than those illustrated or described herein.

[0032] This application presents the following embodiments, and in conjunction with Figures 1-11 This application describes a transitive reasoning method for temporal topological relationships. The transitive reasoning method for temporal topological relationships provided in this application can be implemented based on a transitive reasoning device for temporal topological relationships. Therefore, this application describes the transitive reasoning method for temporal topological relationships using a transitive reasoning device as the execution subject.

[0033] Figure 1 This is one of the flowcharts of the transitive reasoning method for temporal topological relationships provided in this application.

[0034] like Figure 1 As shown, the time topological relation transitivity reasoning method includes the following steps: Step 101: Obtain the first topological relationship between the first time interval and the second time interval, and the second topological relationship between the second time interval and the third time interval; the first time interval, the second time interval, and the third time interval are time entities with transitive relationships.

[0035] Specifically, the study of transitive reasoning in temporal topological relations is based on the study of temporal topological relations. The classic model of temporal topological relations is Allen's interval algebra, which defines 13 basic topological relations between two time intervals.

[0036] Figure 2This is a schematic diagram illustrating 13 topological relationships between two time intervals provided in this application. These 13 topological relationships include Before, After, Meets, Met-By, Overlaps, Overlapped-By, Starts, Started-By, During, Contains, Finishes, Finished-By, and Equals. Figure 2 Time range was displayed and time interval There are 13 corresponding topological relationships.

[0037] These topological relationships encompass various positional relationships that may exist within a time interval. Therefore, this application adopts the 13 topological relationships defined by Allen's interval algebra to conduct transitive reasoning research on temporal topological relationships. Transitive reasoning can deduce other related temporal topological relationships based on known ones, thereby providing a more comprehensive understanding and grasp of the complex connections between various events in a time series, offering strong theoretical support and technical means for many fields involving time information processing. Transitive reasoning using 13 topological relationships yields 13 × 13 = 169 topological reasoning results.

[0038] The fundamental reasoning method of transitive temporal topological relations is binary transitive temporal topological relations reasoning, which primarily focuses on deriving the topological relationships between two time intervals. A more complex method is multivariate transitive temporal topological relations reasoning, which involves deriving topological relationships between multiple time intervals. Research on binary transitive temporal topological relations reasoning is essentially the foundation of multivariate transitive temporal topological relations reasoning; it can be extended from binary reasoning to multivariate reasoning by applying binary reasoning rules multiple times to ultimately achieve multivariate reasoning. Therefore, this application provides a detailed description of binary transitive temporal topological relations reasoning as a fundamental reasoning method.

[0039] In this embodiment, the three time intervals involved in the transitive reasoning process of temporal topological relationships, namely the first time interval, the second time interval, and the third time interval, are respectively denoted as... , and These three time intervals are time entities with a transitive relationship. It is understandable that when... and They satisfy a certain topological relationship, and at the same time and When they also satisfy a certain topological relationship, then and Specific topological relationships can be deduced from these relationships according to certain rules. This process of deriving the latter relationship based on the former two relationships is the core logic embodied in transitive reasoning of temporal topological relationships. and The first topological relationship between them is denoted as , and The second topological relationship between them is denoted as And thus, we can deduce and The third topological relationship between them is denoted as , The value can be any one of the 13 topological relationships: Before, After, Meets, Met-By, Overlaps, Overlapped-By, Starts, Started-By, During, Contains, Finishes, Finished-By, and Equals.

[0040] Step 102: Determine the first time relationship corresponding to the first topological relationship and the second time relationship corresponding to the second topological relationship; the first time relationship is used to reflect the temporal relationship between the endpoints of the first time interval and the endpoints of the second time interval; the second time relationship is used to reflect the temporal relationship between the endpoints of the second time interval and the endpoints of the third time interval.

[0041] Specifically, after obtaining the known topological relationships, these relationships are further transformed into concrete temporal relationships. These temporal relationships use specific symbols or expressions to represent the temporal sequence between the endpoints of time intervals. Specifically, this includes the temporal sequence between the start time of one time interval and the start time of another, the temporal sequence between the start time of one time interval and the end time of another, the temporal sequence between the end time of one time interval and the start time of another, and the temporal sequence between the end time of one time interval and the end time of another. These temporal relationships accurately depict the relative positions and chronological order of different time intervals on the timeline. In this way, abstract topological relationships are transformed into concrete, quantifiable, and analyzable temporal relationships, laying the foundation for subsequent transitive reasoning based on these temporal relationships.

[0042] Therefore, transforming the first topological relation into its corresponding first temporal relation can clearly characterize the... endpoints and The temporal relationship between endpoints; transforming the second topological relationship into its corresponding second temporal relationship can clearly characterize... endpoints and Temporal relationships between endpoints. Since this application uses the 13 topological relationships defined by Allen interval algebra, each topological relationship can be pre-converted into its specific temporal relationship. By binding the topological relationship and its specific temporal relationship, no extra conversion calculation is required in each inference process; the temporal relationship of the corresponding topological relationship can be directly queried.

[0043] Step 103: Based on the first time relation and the second time relation, perform topological relation reasoning on the first time interval and the third time interval to obtain the third topological relation between the first time interval and the third time interval.

[0044] Specifically, after obtaining the first and second time relational expressions, the temporal information they express is used to deduce, through specific reasoning rules and logical operations, the following derivation is made. endpoints and The timing relationships between endpoints specifically include Start time point and The temporal relationship between the starting time points Start time point and The temporal relationship between the termination points. End time point and The temporal relationship between the starting time points End time point and The temporal relationships between the termination points are used to generate corresponding third temporal relationships, which are then transformed into... and The third topological relationship between them can be accurately and efficiently deduced. and The hidden topological relationships between them.

[0045] The transitive reasoning method for temporal topological relationships provided in this application transforms temporal topological relationships into temporal sequence relationships between endpoints. Based on these temporal sequence relationships, transitive reasoning is performed to obtain implicit topological relationships. This transforms the complex path traversal and relationship matching in traditional graph structure reasoning into logical deduction based on endpoint constraints, fundamentally reducing the computational complexity of transitive reasoning. The implementation process is simpler and more intuitive, and the deduction rules based on endpoint constraints have stronger interpretability, avoiding errors caused by unclear association rules in graph structures. The reasoning results are more reliable, and overall reasoning efficiency is greatly improved.

[0046] In one embodiment, determining the first time relation corresponding to the first topological relation includes: Based on the temporal relationship between the first starting time point of the first time interval and the second starting time point of the second time interval, a first temporal relationship symbol between the first starting time point and the second starting time point is determined; Based on the temporal relationship between the first start time point of the first time interval and the second end time point of the second time interval, a second temporal relationship symbol between the first start time point and the second end time point is determined; Based on the temporal relationship between the first end time point of the first time interval and the second start time point of the second time interval, a third temporal relationship symbol between the first end time point and the second start time point is determined; Based on the temporal relationship between the first termination time point of the first time interval and the second termination time point of the second time interval, a fourth temporal relationship symbol between the first termination time point and the second termination time point is determined. The first time relation symbol, the second time relation symbol, the third time relation symbol, and the fourth time relation symbol are combined to form the first time relation formula corresponding to the first topological relation.

[0047] Specifically, the temporal relationship between endpoints can be represented using major and minor signs. There are three types of temporal relationships between endpoints: earlier than, later than, and simultaneous. When the time represented by one endpoint is earlier than the time represented by another endpoint, the less-than sign "<" is used to represent their temporal relationship; when the time represented by one endpoint is later than the time represented by another endpoint, the greater-than sign ">" is used to represent their temporal relationship; and when the time represented by one endpoint is the same as the time represented by another endpoint, the equal sign "=" is used to represent their temporal relationship.

[0048] The endpoints of a time interval include the start time and the end time, denoted as , ... and ,in Indicates the first There are several time intervals. Each temporal topology corresponds to four sets of time point relationships, that is, the temporal relationship between the endpoints of two time intervals. The time point relationships can be represented as follows: .

[0049] For example, Then the time interval is The corresponding four sets of size relationships , , , They are ,in turn The four sets of size relationships are respectively It can also be deduced The correspondence between topological relationships and the four sets of size relationships is the basis for the transitive reasoning of topological relationships in the embodiments of this application.

[0050] Understandable, through the first time interval The first starting time point Second time interval The second starting time point The temporal relationship between them determines the first starting time point. Second starting time point The first time relationship symbol between them is... The sign value; through the first time interval The first starting time point Second time interval Second termination time point The temporal relationship between them determines the first starting time point. Second termination time point The second time relation symbol between them is... The sign value; through the first time interval First termination time point Second time interval The second starting time point The temporal relationship between them determines the first termination time point. Second starting time point The third time relation symbol between them is... The sign value; through the first time interval First termination time point Second time interval of The temporal relationship between them determines the first termination time point. Second termination time point The fourth time relation symbol between them is... The symbolic value.

[0051] The first time relation symbol, the second time relation symbol, the third time relation symbol, and the fourth time relation symbol are combined to form the first time relation formula corresponding to the first topological relation.

[0052] In another embodiment, determining the second time relation corresponding to the second topological relation includes: Based on the temporal relationship between the second starting time point of the second time interval and the third starting time point of the third time interval, a fifth temporal relationship symbol between the second starting time point and the third starting time point is determined; Based on the temporal relationship between the second start time point of the second time interval and the third end time point of the third time interval, a sixth temporal relationship symbol between the second start time point and the third end time point is determined. Based on the temporal relationship between the second end time point of the second time interval and the third start time point of the third time interval, a seventh time relationship symbol between the second end time point and the third start time point is determined. Based on the temporal relationship between the second termination time point of the second time interval and the third termination time point of the third time interval, an eighth temporal relationship symbol between the second termination time point and the third termination time point is determined. The fifth time relation symbol, the sixth time relation symbol, the seventh time relation symbol, and the eighth time relation symbol are combined to form the second time relation formula corresponding to the second topological relation.

[0053] Understandably, through the second time interval The second starting time point and the third time interval The third starting time point The temporal relationship between them determines the second starting time point. and the third starting time point The fifth time relationship symbol between them is... The sign value; through the second time interval The second starting time point and the third time interval The third termination point The temporal relationship between them determines the second starting time point. and the third termination time point The sixth time relationship symbol between them is... The sign value; through the second time interval Second termination time point and the third time interval The third starting time point The temporal relationship between them determines the second termination time point. and the third starting time point The seventh time relationship symbol between them is... The sign value; through the second time interval Second termination time point and the third time interval The third termination point The temporal relationship between them determines the second termination time point. and the third termination time point The eighth time relationship symbol between them is... The symbolic value.

[0054] The fifth, sixth, seventh, and eighth time relation symbols are combined to form the second time relation formula corresponding to the second topological relation.

[0055] Based on the above conversion method, the 13 topological relations defined by Allen interval algebra can be mapped to time relations, as shown in Table 1 below.

[0056] Table 1 Among them, Table 1 and These are two time intervals with a topological relationship. Table 1 can directly provide the correspondence between the topological relationship and the time relationship in each reasoning process, eliminating the need for multiple reasoning calculations.

[0057] This application embodiment achieves quantitative modeling of time topology by symbolically representing the temporal relationship between the endpoints of time intervals. This quantitative method can directly characterize the relative position and chronological order of two time intervals on the time axis, and then perform transitive reasoning through symbolic reasoning. The reasoning process is clear and efficient.

[0058] In one embodiment, the step of performing topological relationship reasoning on the first time interval and the third time interval based on the first time relationship and the second time relationship to obtain a third topological relationship between the first time interval and the third time interval includes: Based on the first topological relationship inference symbol and the fifth topological relationship inference symbol, a ninth time relationship symbol is determined between the first starting time point and the third starting time point; the first topological relationship inference symbol is the first time relationship symbol or the second time relationship symbol, the fifth topological relationship inference symbol is the fifth time relationship symbol or the seventh time relationship symbol, and the first topological relationship inference symbol and the fifth topological relationship inference symbol have time topological relationship transitivity; Based on the second topological relationship inference symbol and the sixth topological relationship inference symbol, a tenth time relationship symbol is determined between the first start time point and the third end time point; the second topological relationship inference symbol is the first time relationship symbol or the second time relationship symbol, the sixth topological relationship inference symbol is the sixth time relationship symbol or the eighth time relationship symbol, and the second topological relationship inference symbol and the sixth topological relationship inference symbol have time topological relationship transitivity; Based on the third topological relationship inference symbol and the seventh topological relationship inference symbol, an eleventh time relationship symbol is determined between the first termination time point and the third start time point; the third topological relationship inference symbol is the third time relationship symbol or the fourth time relationship symbol, the seventh topological relationship inference symbol is the fifth time relationship symbol or the seventh time relationship symbol, and the third topological relationship inference symbol and the seventh topological relationship inference symbol have time topological relationship transitivity; Based on the fourth and eighth topological relationship inference symbols, a twelfth time relationship symbol is determined between the first termination time point and the third termination time point; the fourth topological relationship inference symbol is the third time relationship symbol or the fourth time relationship symbol, the eighth topological relationship inference symbol is the sixth time relationship symbol or the eighth time relationship symbol, and the fourth and eighth topological relationship inference symbols have time topological relationship transitivity; The ninth time relation symbol, the tenth time relation symbol, the eleventh time relation symbol, and the twelfth time relation symbol are combined to form the third time relation formula; Based on the third time relationship, a third topological relationship is determined between the first time interval and the third time interval.

[0059] Specifically, transitive reasoning is essentially reasoning through symbolic relations.

[0060] For example, a known time point , and ,satisfy Based on this, it can be deduced that ,Right now Based on this, it can be deduced that .

[0061] For example, given a time point , and ,satisfy In this case, we can deduce and The temporal relationship between them can include ,Right now In this case, we can deduce , This indicates that the result is not unique, meaning the result may be... Any one of these three situations.

[0062] As shown in Table 2 below, Table 2 displays the time points. , and All possible symbolic relations, and the symbolic results derived from reasoning based on these symbolic relations.

[0063] Table 2 Based on the above symbolic reasoning method, it is possible to achieve... and The magnitude relationships of eight time points determined by two topological relationships are used to deduce the time interval pairs. The relationship between the magnitudes of the four time points.

[0064] Figure 3 This is a schematic diagram of the symbolic reasoning process in the topological reasoning provided in this application. For example... Figure 3 As shown, the time interval is... The four sets of time point relationships each have two derivation paths, and the derivation path diagrams for a given set of time point relationships use the same color. For example, This refers to the symbol representing the time relationship between the first and third starting time points, while the current known... and The eight sets of time point relationships determined by the two topological relationships require... This serves as an intermediate bridge in the derivation. One derivation path can be achieved through... and ,accomplish One reasoning; another derivation path is through... and ,accomplish The reasoning. It should be noted that it cannot be achieved through... and , or, through and ,accomplish The reasoning is flawed because the reasoning paths are not connected.

[0065] Figure 4 This is a schematic diagram illustrating a specific example of the symbolic reasoning process in topological reasoning provided in this application. Figure 4 yes Figure 3 This is a specific example, therefore the elements and colors in the diagram have the same meaning, and will not be elaborated further. For example, when , In this case, the time interval is The calculation process for the four sets of major and minor signs is as follows: Figure 4 Taking the orange arrow in the picture as an example, , You can get . Figure 4 middle It refers to using symbols and symbols The symbols are derived through reasoning. Similarly, it can be calculated that... , , Four sets of uppercase and lowercase symbols The comparison can yield the following results Topological relationships that conform to "During", i.e. .

[0066] Based on the above symbolic reasoning process, it is understandable that symbols can be inferred through the first topological relation. and the fifth topological relation inference symbol Determine the first starting time point and the third starting time point The ninth time relationship symbol between ; and / or, inference symbols through the first topological relation and the fifth topological relation inference symbol Determine the first starting time point and the third starting time point The ninth time relationship symbol between Inference symbols through the second topological relationship. and the sixth topological relation inference symbol Determine the first starting time point and the third termination time point The tenth time relationship symbol between ; and / or, inference symbols through second topological relationships and the sixth topological relation inference symbol Determine the first starting time point and the third termination time point The tenth time relationship symbol between Inference symbols through third topological relations and the seventh topological relation inference symbol The eleventh time relationship symbol between the first termination time point and the third start time point is determined. ; and / or, inference symbols through third topological relations and the seventh topological relation inference symbol Determine the first termination time point and the third starting time point Eleventh time relationship symbol between Inference symbols through the fourth topological relation And the eighth topological relation inference symbol Determine the twelfth time relationship symbol between the first termination time point and the third termination time point. ; and / or, inference symbols based on fourth topological relations And the eighth topological relation inference symbol Determine the first termination time point and the third termination time point The twelfth time relationship symbol between .

[0067] The ninth, tenth, eleventh, and twelfth time relation symbols are combined to form the third time relation, which is then transformed into the third topological relation between the first and third time intervals.

[0068] This application embodiment uses the middle time interval among three time intervals with transitive relationships as a reasoning bridge, and utilizes a bidirectional derivation mechanism of four sets of endpoint symbolic relationships (start-start, start-end, end-start, end-end) to ensure the accuracy and completeness of the reasoning path. It decomposes complex temporal topological relationships into quantifiable symbolic operations, making the reasoning process interpretable, thereby significantly improving the reliability of temporal topological relationship reasoning.

[0069] In one embodiment, determining the ninth time relation symbol between the first starting time point and the third starting time point based on the first topological relation inference symbol and the fifth topological relation inference symbol includes: Based on the first time relation symbol and the fifth time relation symbol, temporal relation reasoning is performed on the first starting time point and the third starting time point to obtain the first time relation reasoning result; Based on the second time relationship symbol and the seventh time relationship symbol, temporal relationship reasoning is performed on the first starting time point and the third starting time point to obtain the second time relationship reasoning result; Based on the first time relationship reasoning result and the second time relationship reasoning result, a ninth time relationship symbol between the first starting time point and the third starting time point is determined.

[0070] Specifically, inference symbols through the first topological relation and the fifth topological relation inference symbol Symbolic reasoning was performed to obtain the first starting time point. and the third starting time point The results of reasoning about the first-time relationship between them.

[0071] Inference symbols based on the first topological relationship and the fifth topological relation inference symbol Symbolic reasoning was performed to obtain the first starting time point. and the third starting time point The result of the second time relationship inference.

[0072] Based on the inference results of the first and second time relationships, the ninth time relationship symbol between the first and third starting time points is determined. .

[0073] When there is a relationship between the first and second time-related inference results If any one of these three cases is true, then the symbol is the ninth time relation symbol. The value of ; conversely, when both the first and second time relation inference results are e, then the ninth time relation symbol The value is also e.

[0074] The specific embodiments of "determining the tenth time relationship symbol between the first starting time point and the third ending time point based on the second and sixth topological relationship inference symbols", "determining the eleventh time relationship symbol between the first ending time point and the third starting time point based on the third and seventh topological relationship inference symbols", and "determining the twelfth time relationship symbol between the first ending time point and the third ending time point based on the fourth and eighth topological relationship inference symbols" are consistent with the specific embodiments described above and can be derived from the above content, so they will not be elaborated here.

[0075] The embodiments of this application utilize a method of performing independent reasoning for each reasoning path and then comprehensively selecting the final reasoning result, which effectively improves the reliability of topological transitive reasoning.

[0076] In one embodiment, the time topological transitivity reasoning method further includes: Based on the first topological relationship and the second topological relationship, a query is performed in the binary temporal topological relationship transitivity inference matrix to obtain the topological relationship query result between the first time interval and the third time interval; the binary temporal topological relationship transitivity inference matrix is ​​used to store the mapping relationship between the topological relationship obtained after reasoning based on any two preset topological relationships in the preset topological relationship set and the two preset topological relationships. If the topology query result contains only one topology, then the topology query result is determined to be the third topology between the first time interval and the third time interval; If the topological relationship query result contains multiple topological relationships, then based on the first time relation corresponding to the first topological relationship and the second time relation corresponding to the second topological relationship, topological relationship reasoning is performed on the first time interval and the third time interval to obtain the third topological relationship between the first time interval and the third time interval.

[0077] Combination Figure 5 , Figure 5 This is the second flowchart of the transitive reasoning method for temporal topological relationships provided in this application.

[0078] Specifically, obtain the first time interval. Second time interval The first topological relationship between them Second time interval and the third time interval The second topological relationship between them The first topological relationship Transform it into its corresponding first-time relation, and then convert the second topological relation into its corresponding first-time relation. It is then transformed into its corresponding second time relation.

[0079] To enable rapid reasoning of topological relationships between composite time periods, a binary temporal topological relationship transitivity reasoning matrix is ​​used to store the mapping relationship between the topological relationship obtained after reasoning based on any two preset topological relationships (i.e., the 13 topological relationships defined by Allen interval algebra) in a preset topological relationship set and the two preset topological relationships. For most time points and time intervals, the topological relationship between them can be directly reasoned using the transitivity matrix, instead of relying on the start and end time points of the time interval for judgment and calculation, which greatly reduces the amount of calculation and saves time.

[0080] Based on the first topological relationship Second topological relationship The first time interval is obtained by querying the binary time topological transitivity inference matrix. and the third time interval The query results for the topological relationships between them.

[0081] If the topology query result contains only one topology (i.e., the topology is unique), then the topology query result will be directly used as the third topology between the first time interval and the third time interval.

[0082] If the topological relationship query result contains multiple topological relationships (i.e., the topological relationships are not unique), then based on the first time relation corresponding to the first topological relationship and the second time relation corresponding to the second topological relationship, topological relationship reasoning is performed on the first time interval and the third time interval to obtain the third topological relationship between the first time interval and the third time interval. The specific reasoning method is the same as the specific embodiment described above, and will not be repeated here. The topological relationship reasoning result can be verified by a binary time topological relationship transitivity reasoning matrix. If the verification fails, it indicates that there is a problem with the reasoning, and the topological relationship reasoning is repeated until the verification is successful.

[0083] Symbolic reasoning ultimately yields 169 symbolic results for topological reasoning. These results are then transformed into corresponding topological relations, resulting in 169 topological relation reasoning results, stored in a binary temporal topological relation transitivity reasoning matrix, as shown in Table 3. Due to the large amount of content in Table 3, it is divided into Table 3(a) and Table 3(b) for better visualization. Table 3(a) displays a 6×6 matrix, and Table 3(b) displays a 7×7 matrix. Combined, they form the complete 13×13 matrix of Table 3.

[0084] Table 3(a) Table 3(b) In Table 3, “b”, “a”, “m”, “mb”, “o”, “ob”, “s”, “sb”, “d”, “c”, “f”, “fb”, and “e” are abbreviations for the topological relationships “Before”, “After”, “Meets”, “Met-By”, “Overlaps”, “Overlapped-By”, “Starts”, “Started-By”, “During”, “Contains”, “Finishes”, “Finished-By”, and “Equals”, respectively.

[0085] In Table 3, "13" represents all 13 possibilities for the topological relation reasoning result. For example, the topological relations "During" and "Contain" in Table 3 (the table value "13" corresponding to row 6 and column 12) are shown. The topological relationship reasoning results have 13 possible topological relationships. Of these, out of 13 × 13 = 169 combinations, 97 are unique reasoning results, for example... The 72 groups of non-unique reasoning results have 3, 5, 9, and 13 possible outcomes, with 42, 24, 3, and 3 possible outcomes respectively.

[0086] Regarding the meaning of Table 3, the horizontal axis is "o" (Overlaps), and the vertical axis is also "o" (Overlaps). The corresponding values ​​in the table are "b,m,o", which means that the result of transitive reasoning of the temporal topological relationship "Overlaps" and "Overlaps" has three possibilities: "Before", "Meets", and "Overlaps". Figure 6 This is a schematic diagram of the transitive reasoning results for "Overlaps" provided in this application, as shown below. Figure 6 As shown, when , In this case, the time interval is There are three possible topological relationships: "Before", "Meets", and "Overlaps".

[0087] This application's embodiments achieve rapid querying and reasoning of topological relationships between any two time intervals by pre-constructing a binary temporal topological relationship transitivity inference matrix. For most time points and time intervals, it avoids the process of judgment and calculation based on time endpoints, significantly reducing computational load and improving inference efficiency. In practical applications, this matrix can cover the 13 basic topological relationships and their combinations defined by Allen's interval algebra, supporting the storage and retrieval of 169 possible topological relationship inference results. By combining symbolic reasoning with matrix querying, it ensures the accuracy of the inference results while achieving real-time query response through a pre-calculation mechanism.

[0088] To further demonstrate the application of the technology in this application in temporal topological relationships, a web-based temporal topological relationship transitive reasoning system was built.

[0089] The system provides a binary topological relation reasoning function. Users can select the corresponding relation from 13×13 binary topological relations, click "Calculate," and view the calculation results. To facilitate user understanding, the entire process is illustrated with corresponding diagrams. For example, the steps to calculate the topological relations "Before" and "Equals" using this function are as follows: First, enter this functional module, such as... Figure 7 As shown, Figure 7 This is the homepage interface for binary topological relation reasoning provided in this application.

[0090] Then select the corresponding two topological relationships from the two drop-down lists, such as... Figure 8 As shown, Figure 8 This application provides a binary topological relationship reasoning interface with the "Before" and "Equals" options selected. When a topological relationship is selected, a corresponding icon appears in the blank area below. This serves two purposes: firstly, it allows users to verify the relationship, and secondly, it helps users better understand the corresponding topological relationship.

[0091] Clicking "Calculate" will display the reasoning result, and clicking "Show Corresponding Illustrations" will display images corresponding to the possible results, such as... Figure 9 As shown, Figure 9 This is the interface for calculating the results of the binary topological relation reasoning provided in this application, selecting "Before" and "Equals". Clicking the "Clear" button in the upper right corner will clear the page content and return to the initial state, allowing the user to repeat the topological relation calculation.

[0092] For examples where there are multiple possibilities for the calculation results, the calculation interface is slightly different. For example, the calculation of the topological relationship "Overlaps" and the binary superposition of "Overlaps" is performed through this section as follows: Figure 10 As shown, Figure 10 This application provides an interface for calculating the results of selecting "Overlaps" and "Overlaps" in binary topological relation reasoning; the calculation of the binary superposition of topological relations "Before" and "After" through this section is as follows: Figure 11 As shown, Figure 11 This is the interface for calculating the results of selecting "Before" and "After" in the binary topological relationship reasoning provided in this application.

[0093] Here's a brief explanation: there are two types of cases in binary topological relationship reasoning: unique value and multiple possibilities. Out of 13 × 13 = 169 combinations, 97 are unique results. For example, the topological relationship after superimposing "Before" and "Before" is still "Before". 72 are not unique. Among them, the number of possible topological relationship results with 3, 5, 9, and 13 possibilities are 42, 24, 3, and 3, respectively.

[0094] As can be seen from the above applications, the technology of this application can be well used in specific applications of transitive reasoning of temporal topological relationships.

[0095] Figure 12 This is a schematic diagram of the temporal topological transitivity inference device provided in this application.

[0096] like Figure 12 As shown, the time-topological transitivity reasoning device includes: The time topology relationship acquisition module 1210 is used to acquire a first topology relationship between a first time interval and a second time interval, and a second topology relationship between the second time interval and a third time interval; the first time interval, the second time interval, and the third time interval are time entities with transitive relationships; The time relationship determination module 1220 is used to determine a first time relationship corresponding to the first topological relationship and a second time relationship corresponding to the second topological relationship; the first time relationship is used to reflect the temporal relationship between the endpoints of the first time interval and the endpoints of the second time interval; the second time relationship is used to reflect the temporal relationship between the endpoints of the second time interval and the endpoints of the third time interval. The time topology transitivity reasoning module 1230 is used to perform topology reasoning on the first time interval and the third time interval based on the first time relation and the second time relation, so as to obtain the third topology relationship between the first time interval and the third time interval.

[0097] The temporal topological transitive reasoning apparatus provided in this application transforms temporal topological relationships into temporal sequence relationships between endpoints. Based on these temporal sequence relationships, it performs transitive reasoning to obtain implicit topological relationships. This transforms the complex path traversal and relationship matching in traditional graph structure reasoning into logical deduction based on endpoint constraints, fundamentally reducing the computational complexity of transitive reasoning. The implementation process is simpler and more intuitive, and the deduction rules based on endpoint constraints have stronger interpretability, avoiding errors caused by unclear association rules in graph structures. The reasoning results are more reliable, and the overall reasoning efficiency is greatly improved.

[0098] In one embodiment, the time relation determination module 1220 is further configured to: Based on the temporal relationship between the first starting time point of the first time interval and the second starting time point of the second time interval, a first temporal relationship symbol between the first starting time point and the second starting time point is determined; Based on the temporal relationship between the first start time point of the first time interval and the second end time point of the second time interval, a second temporal relationship symbol between the first start time point and the second end time point is determined; Based on the temporal relationship between the first end time point of the first time interval and the second start time point of the second time interval, a third temporal relationship symbol between the first end time point and the second start time point is determined; Based on the temporal relationship between the first termination time point of the first time interval and the second termination time point of the second time interval, a fourth temporal relationship symbol between the first termination time point and the second termination time point is determined. The first time relation symbol, the second time relation symbol, the third time relation symbol, and the fourth time relation symbol are combined to form the first time relation formula corresponding to the first topological relation.

[0099] In one embodiment, the time relation determination module 1220 is further configured to: Based on the temporal relationship between the second starting time point of the second time interval and the third starting time point of the third time interval, a fifth temporal relationship symbol between the second starting time point and the third starting time point is determined; Based on the temporal relationship between the second start time point of the second time interval and the third end time point of the third time interval, a sixth temporal relationship symbol between the second start time point and the third end time point is determined. Based on the temporal relationship between the second end time point of the second time interval and the third start time point of the third time interval, a seventh time relationship symbol between the second end time point and the third start time point is determined. Based on the temporal relationship between the second termination time point of the second time interval and the third termination time point of the third time interval, an eighth temporal relationship symbol between the second termination time point and the third termination time point is determined. The fifth time relation symbol, the sixth time relation symbol, the seventh time relation symbol, and the eighth time relation symbol are combined to form the second time relation formula corresponding to the second topological relation.

[0100] In one embodiment, the time topological relation transitivity reasoning module 1230 is further configured to: Based on the first topological relationship inference symbol and the fifth topological relationship inference symbol, a ninth time relationship symbol is determined between the first starting time point and the third starting time point; the first topological relationship inference symbol is the first time relationship symbol or the second time relationship symbol, the fifth topological relationship inference symbol is the fifth time relationship symbol or the seventh time relationship symbol, and the first topological relationship inference symbol and the fifth topological relationship inference symbol have time topological relationship transitivity; Based on the second topological relationship inference symbol and the sixth topological relationship inference symbol, a tenth time relationship symbol is determined between the first start time point and the third end time point; the second topological relationship inference symbol is the first time relationship symbol or the second time relationship symbol, the sixth topological relationship inference symbol is the sixth time relationship symbol or the eighth time relationship symbol, and the second topological relationship inference symbol and the sixth topological relationship inference symbol have time topological relationship transitivity; Based on the third topological relationship inference symbol and the seventh topological relationship inference symbol, an eleventh time relationship symbol is determined between the first termination time point and the third start time point; the third topological relationship inference symbol is the third time relationship symbol or the fourth time relationship symbol, the seventh topological relationship inference symbol is the fifth time relationship symbol or the seventh time relationship symbol, and the third topological relationship inference symbol and the seventh topological relationship inference symbol have time topological relationship transitivity; Based on the fourth and eighth topological relationship inference symbols, a twelfth time relationship symbol is determined between the first termination time point and the third termination time point; the fourth topological relationship inference symbol is the third time relationship symbol or the fourth time relationship symbol, the eighth topological relationship inference symbol is the sixth time relationship symbol or the eighth time relationship symbol, and the fourth and eighth topological relationship inference symbols have time topological relationship transitivity; The ninth time relation symbol, the tenth time relation symbol, the eleventh time relation symbol, and the twelfth time relation symbol are combined to form the third time relation formula; Based on the third time relationship, a third topological relationship is determined between the first time interval and the third time interval.

[0101] In one embodiment, the time topological relation transitivity reasoning module 1230 is further configured to: Based on the first time relation symbol and the fifth time relation symbol, temporal relation reasoning is performed on the first starting time point and the third starting time point to obtain the first time relation reasoning result; Based on the second time relationship symbol and the seventh time relationship symbol, temporal relationship reasoning is performed on the first starting time point and the third starting time point to obtain the second time relationship reasoning result; Based on the first time relationship reasoning result and the second time relationship reasoning result, a ninth time relationship symbol between the first starting time point and the third starting time point is determined.

[0102] In one embodiment, the time topological transitivity reasoning device is further configured to: Based on the first topological relationship and the second topological relationship, a query is performed in the binary temporal topological relationship transitivity inference matrix to obtain the topological relationship query result between the first time interval and the third time interval; the binary temporal topological relationship transitivity inference matrix is ​​used to store the mapping relationship between the topological relationship obtained after reasoning based on any two preset topological relationships in the preset topological relationship set and the two preset topological relationships. If the topology query result contains only one topology, then the topology query result is determined to be the third topology between the first time interval and the third time interval; If the topological relationship query result contains multiple topological relationships, then based on the first time relation corresponding to the first topological relationship and the second time relation corresponding to the second topological relationship, topological relationship reasoning is performed on the first time interval and the third time interval to obtain the third topological relationship between the first time interval and the third time interval.

[0103] It should be noted that the temporal topological transitivity reasoning apparatus provided in this application can execute the temporal topological transitivity reasoning method described in any of the above embodiments during specific operation, which will not be elaborated upon in this embodiment.

[0104] Figure 13 This is a schematic diagram of the structure of the electronic device provided in this application, such as... Figure 13 As shown, the electronic device may include: a processor 1310, a communications interface 1320, a memory 1330, and a communications bus 1340, wherein the processor 1310, the communications interface 1320, and the memory 1330 communicate with each other through the communications bus 1340. The processor 1310 can invoke logical instructions in the memory 1330 to execute a transitive reasoning method for temporal topology relationships. This method includes: obtaining a first topological relationship between a first time interval and a second time interval, and a second topological relationship between the second time interval and a third time interval; the first time interval, the second time interval, and the third time interval are temporal entities with transitive relationships; determining a first temporal expression corresponding to the first topological relationship, and a second temporal expression corresponding to the second topological relationship; the first temporal expression reflecting the temporal relationship between the endpoints of the first time interval and the endpoints of the second time interval; the second temporal expression reflecting the temporal relationship between the endpoints of the second time interval and the endpoints of the third time interval; and performing topological relationship reasoning on the first time interval and the third time interval based on the first and second temporal expressions to obtain a third topological relationship between the first time interval and the third time interval.

[0105] Furthermore, the logical instructions in the aforementioned memory 1330 can be implemented as software functional units and, when sold or used as independent products, can be stored in a computer-readable storage medium. Based on this understanding, the technical solution of this application, in essence, or the part that contributes to the prior art, or a part of the technical solution, can be embodied in the form of a software product. This computer software product is stored in a storage medium and includes several instructions to cause a computer device (which may be a personal computer, server, or network device, etc.) to execute all or part of the steps of the methods described in the various embodiments of this application. The aforementioned storage medium includes various media capable of storing program code, such as USB flash drives, portable hard drives, read-only memory (ROM), random access memory (RAM), magnetic disks, or optical disks.

[0106] On the other hand, this application also provides a computer program product, which includes a computer program stored on a non-transitory computer-readable storage medium. The computer program includes program instructions, and when the program instructions are executed by a computer, the computer can execute the time topology transitivity reasoning method provided in the above embodiments. The method includes: obtaining a first topology relationship between a first time interval and a second time interval, and a second topology relationship between the second time interval and a third time interval; the first time interval, the second time interval, and the third time interval are time entities with transitivity relationships; determining a first time relational expression corresponding to the first topology relationship, and a second time relational expression corresponding to the second topology relationship; the first time relational expression is used to reflect the temporal relationship between the endpoints of the first time interval and the endpoints of the second time interval; the second time relational expression is used to reflect the temporal relationship between the endpoints of the second time interval and the endpoints of the third time interval; and performing topology relationship reasoning on the first time interval and the third time interval based on the first time relational expression and the second time relational expression to obtain a third topology relationship between the first time interval and the third time interval.

[0107] In another aspect, this application also provides a non-transitory computer-readable storage medium storing a computer program thereon. When executed by a processor, the computer program is implemented to perform the time topology transitivity reasoning method provided in the above embodiments. The method includes: obtaining a first topology relationship between a first time interval and a second time interval, and a second topology relationship between the second time interval and a third time interval; the first time interval, the second time interval, and the third time interval are time entities with transitivity relationships; determining a first time relational expression corresponding to the first topology relationship, and a second time relational expression corresponding to the second topology relationship; the first time relational expression is used to reflect the temporal relationship between the endpoints of the first time interval and the endpoints of the second time interval; the second time relational expression is used to reflect the temporal relationship between the endpoints of the second time interval and the endpoints of the third time interval; and performing topology relationship reasoning on the first time interval and the third time interval based on the first time relational expression and the second time relational expression to obtain a third topology relationship between the first time interval and the third time interval.

[0108] The device embodiments described above are merely illustrative. The units described as separate components may or may not be physically separate, and the components shown as units may or may not be physical units. Some or all of the modules can be selected to achieve the purpose of this embodiment according to actual needs. Those skilled in the art can understand and implement this without any creative effort.

[0109] Through the above description of the embodiments, those skilled in the art can clearly understand that each embodiment can be implemented by means of software plus necessary general-purpose hardware platforms, and of course, it can also be implemented by hardware. Based on this understanding, the above technical solutions, in essence or the part that contributes to the prior art, can be embodied in the form of a software product. This computer software product can be stored in a computer-readable storage medium, such as ROM / RAM, magnetic disk, optical disk, etc., and includes several instructions to cause a computer device (which may be a personal computer, server, or network device, etc.) to execute the methods described in the various embodiments or some parts of the embodiments.

[0110] Finally, it should be noted that the above embodiments are only used to illustrate the technical solutions of this application, and are not intended to limit them. Although this application has been described in detail with reference to the foregoing embodiments, those skilled in the art should understand that modifications can still be made to the technical solutions described in the foregoing embodiments, or equivalent substitutions can be made to some of the technical features. Such modifications or substitutions do not cause the essence of the corresponding technical solutions to deviate from the spirit and scope of the technical solutions of the embodiments of this application.

Claims

1. A method for transitive reasoning of temporal topological relationships, characterized in that, The transitive reasoning method for temporal topological relationships includes: Obtain a first topological relationship between a first time interval and a second time interval, and a second topological relationship between the second time interval and a third time interval; the first time interval, the second time interval, and the third time interval are time entities with transitive relationships; Determine a first time relation corresponding to the first topological relationship and a second time relation corresponding to the second topological relationship; the first time relation is used to reflect the temporal relationship between the endpoints of the first time interval and the endpoints of the second time interval; the second time relation is used to reflect the temporal relationship between the endpoints of the second time interval and the endpoints of the third time interval. Based on the first time relation and the second time relation, topological relationship reasoning is performed on the first time interval and the third time interval to obtain the third topological relationship between the first time interval and the third time interval.

2. The time-topological transitive reasoning method according to claim 1, characterized in that, Determining the first time relation corresponding to the first topological relation includes: Based on the temporal relationship between the first starting time point of the first time interval and the second starting time point of the second time interval, a first temporal relationship symbol between the first starting time point and the second starting time point is determined; Based on the temporal relationship between the first start time point of the first time interval and the second end time point of the second time interval, a second temporal relationship symbol between the first start time point and the second end time point is determined; Based on the temporal relationship between the first end time point of the first time interval and the second start time point of the second time interval, a third temporal relationship symbol between the first end time point and the second start time point is determined; Based on the temporal relationship between the first termination time point of the first time interval and the second termination time point of the second time interval, a fourth temporal relationship symbol between the first termination time point and the second termination time point is determined. The first time relation symbol, the second time relation symbol, the third time relation symbol, and the fourth time relation symbol are combined to form the first time relation formula corresponding to the first topological relation.

3. The transitive reasoning method for temporal topological relationships according to claim 2, characterized in that, Determining the second time relation corresponding to the second topological relation includes: Based on the temporal relationship between the second starting time point of the second time interval and the third starting time point of the third time interval, a fifth temporal relationship symbol between the second starting time point and the third starting time point is determined; Based on the temporal relationship between the second start time point of the second time interval and the third end time point of the third time interval, a sixth temporal relationship symbol between the second start time point and the third end time point is determined. Based on the temporal relationship between the second end time point of the second time interval and the third start time point of the third time interval, a seventh time relationship symbol between the second end time point and the third start time point is determined. Based on the temporal relationship between the second termination time point of the second time interval and the third termination time point of the third time interval, an eighth temporal relationship symbol between the second termination time point and the third termination time point is determined. The fifth time relation symbol, the sixth time relation symbol, the seventh time relation symbol, and the eighth time relation symbol are combined to form the second time relation formula corresponding to the second topological relation.

4. The transitive reasoning method for temporal topological relationships according to claim 3, characterized in that, The step of performing topological relationship reasoning on the first time interval and the third time interval based on the first time relationship and the second time relationship to obtain the third topological relationship between the first time interval and the third time interval includes: Based on the first topological relationship inference symbol and the fifth topological relationship inference symbol, a ninth time relationship symbol is determined between the first starting time point and the third starting time point; the first topological relationship inference symbol is the first time relationship symbol or the second time relationship symbol, the fifth topological relationship inference symbol is the fifth time relationship symbol or the seventh time relationship symbol, and the first topological relationship inference symbol and the fifth topological relationship inference symbol have time topological relationship transitivity; Based on the second topological relationship inference symbol and the sixth topological relationship inference symbol, a tenth time relationship symbol is determined between the first start time point and the third end time point; the second topological relationship inference symbol is the first time relationship symbol or the second time relationship symbol, the sixth topological relationship inference symbol is the sixth time relationship symbol or the eighth time relationship symbol, and the second topological relationship inference symbol and the sixth topological relationship inference symbol have time topological relationship transitivity; Based on the third topological relationship inference symbol and the seventh topological relationship inference symbol, an eleventh time relationship symbol is determined between the first termination time point and the third start time point; the third topological relationship inference symbol is the third time relationship symbol or the fourth time relationship symbol, the seventh topological relationship inference symbol is the fifth time relationship symbol or the seventh time relationship symbol, and the third topological relationship inference symbol and the seventh topological relationship inference symbol have time topological relationship transitivity; Based on the fourth and eighth topological relationship inference symbols, a twelfth time relationship symbol is determined between the first termination time point and the third termination time point; the fourth topological relationship inference symbol is the third time relationship symbol or the fourth time relationship symbol, the eighth topological relationship inference symbol is the sixth time relationship symbol or the eighth time relationship symbol, and the fourth and eighth topological relationship inference symbols have time topological relationship transitivity; The ninth time relation symbol, the tenth time relation symbol, the eleventh time relation symbol, and the twelfth time relation symbol are combined to form the third time relation formula; Based on the third time relationship, a third topological relationship is determined between the first time interval and the third time interval.

5. The time-topological transitive reasoning method according to claim 4, characterized in that, The determination of the ninth time relationship symbol between the first starting time point and the third starting time point based on the first topological relationship reasoning symbol and the fifth topological relationship reasoning symbol includes: Based on the first time relation symbol and the fifth time relation symbol, temporal relation reasoning is performed on the first starting time point and the third starting time point to obtain the first time relation reasoning result; Based on the second time relationship symbol and the seventh time relationship symbol, temporal relationship reasoning is performed on the first starting time point and the third starting time point to obtain the second time relationship reasoning result; Based on the first time relationship reasoning result and the second time relationship reasoning result, a ninth time relationship symbol between the first starting time point and the third starting time point is determined.

6. The transitive reasoning method for temporal topological relationships according to claim 1, characterized in that, The transitive reasoning method for temporal topological relationships also includes: Based on the first topological relationship and the second topological relationship, a query is performed in the binary temporal topological relationship transitivity inference matrix to obtain the topological relationship query result between the first time interval and the third time interval; the binary temporal topological relationship transitivity inference matrix is ​​used to store the mapping relationship between the topological relationship obtained after reasoning based on any two preset topological relationships in the preset topological relationship set and the two preset topological relationships. If the topology query result contains only one topology, then the topology query result is determined to be the third topology between the first time interval and the third time interval; If the topological relationship query result contains multiple topological relationships, then based on the first time relation corresponding to the first topological relationship and the second time relation corresponding to the second topological relationship, topological relationship reasoning is performed on the first time interval and the third time interval to obtain the third topological relationship between the first time interval and the third time interval.

7. A temporal topological transitive reasoning device, characterized in that, The time-topological transitivity reasoning device includes: The time topology relationship acquisition module is used to acquire a first topology relationship between a first time interval and a second time interval, and a second topology relationship between the second time interval and a third time interval; the first time interval, the second time interval, and the third time interval are time entities with transitive relationships; A time relationship determination module is used to determine a first time relationship corresponding to the first topological relationship and a second time relationship corresponding to the second topological relationship; the first time relationship is used to reflect the temporal relationship between the endpoints of the first time interval and the endpoints of the second time interval; the second time relationship is used to reflect the temporal relationship between the endpoints of the second time interval and the endpoints of the third time interval. The time topology transitivity reasoning module is used to perform topology reasoning on the first time interval and the third time interval based on the first time relation and the second time relation, so as to obtain the third topology relationship between the first time interval and the third time interval.

8. An electronic device comprising a memory, a processor, and a computer program stored in the memory and executable on the processor, characterized in that, When the processor executes the computer program, it implements the steps of the time topological relation transitivity reasoning method as described in any one of claims 1 to 6.

9. A non-transitory computer-readable storage medium, wherein a computer program is stored on the non-transitory computer-readable storage medium, characterized in that, When the computer program is executed by a processor, it implements the steps of the transitive reasoning method for temporal topological relationships as described in any one of claims 1 to 6.

10. A computer program product, the computer program product comprising a computer program, characterized in that, When the computer program is executed by a processor, it implements the steps of the transitive reasoning method for temporal topological relationships as described in any one of claims 1 to 6.

Images