IOF Core supports representing qualitative temporal information based on an algebra of binary relations on intervals developed by Allen [1] to address the problem of reasoning about such information. These reasoning problems are frequently encountered in industrial settings, particularly in areas such as planning and scheduling, factory monitoring systems, and healthcare applications [ref]. IOF Core defines object properties with the following labels, each representing the original temporal relations as shown in the following table.
...