Page Comparison

core-s1-1

•  Passed

core-s1-2

•  Passed

core-s1-3

•  Passed

core-s1-4

•  Passed

core-s1-5

•  Passed

core-s1-6

•  Passed

core-s1-7

•  Passed

core-s1-8

•  Passed

core-s1-9

•  Passed

core-s1-10

•  Passed

Testing the consequence of SWRL rules for asserting Allen’s relations

Temporal relations among time instances, intervals, and processes.

Arkopaul Sarkar

IOF Core spring release candidate available at https://github.com/iofoundry/ontology/tree/core_allen_interval_algebra

18 Aug 2023

In a factory producing metal parts, various machining processes, such as turning and milling, lapping, grinding along with laser marking, quality check and packing takes place. Workers are assigned to corresponding machine to carry out these operations for work orders on various metal parts. The company wants to monitor the assignment of workers along with machine allocations.

Production data on 10 work orders. Important columns are:

• Activity: process occurred

• Resource: machine used

• Start timestamp: begining time of the process

• Complete timestamp: end time of the process

• Span: the duration of the process

• Work Order: # of work order

• Part Desc. : The type of the part produced

• Worker ID: Identifier of the worker assigned to the machine for the process

Note: The data is a part of and customised from the original data retrieved from http://fluxicon.com/disco/ presented by Dafna Levy (dafnal@nool.co.il)

1. The SWRL rules on Allen’s relation should be able to infer the desired consequence when executed.

1. The dates are transformed to xsd:DateTime format by using OntoRefine (https://www.ontotext.com/products/ontotext-refine/).

2. The data is loaded to GraphDB (https://www.ontotext.com/products/graphdb ) modeled using IOF Core (spring release candidate) by Insert query in

   View file
   name load.q

   .

3. bfo:precedes and occursSimultaneouslyWith between instances of ‘bfo: temporal instance’ using the insert queries in

   View file
   name inser-precedes.q

   View file
   name inser-occursSimultaneouslyWith.q

   .

KG generated by step 3:

Intel(R) Core(TM) i7-9750H CPU @ 2.60GHz 2.59 GHz with 32.0 GB RAM

1. The KG generated by Step 3 of pre-process is opened in Protege (https://protege.stanford.edu/ v 5.5.0).

2. Core ontology release candidate and SWRL rules from http://spec.industrialontologies.org/rules/core/TemporalRelations02 are imported.

3. Reasoning is completed using Hermit reasoner (http://www.hermit-reasoner.com/ v 1.4.3.456) in 140099 ms.

4. As Rules 8-12, 14, and 15 requires other rules to succeed, only the consequences of these rules are evaluated.

5. For each rule, at least one example of consequence is searched in the inferred ontology.

6. The rule is considered successful if the rule is found in one of the explanation for the consequence and the inference is based on correct assertion.

All tests are passed (see in the table below)