Test results of IOF Core

This page contains the results of various tests conducted on IOF Core. These tests include evalutation of consequences of axioms and rules in IOF Core, validations through competency questions, checking of data models, and benchmarking of the performance of various tools for IOF Core.

Index

Allen’s Relations

IOF Core includes 7 interval relations, proposed by Allen (meets, before, overlaps, starts, finishes, occursDuring, and occursSimultaneouslyWith) and their inverses (except occursSimulataneouslyWith) applicable between ‘bfo:temporal interval' and ‘bfo:process’ instances. Along with these relations, a set of SWRL rules for inferring these relations among ‘bfo:temporal interval' and ‘bfo:process’ instances based on 'bfo:precedes’ relations among ‘bfo:temporal instances' and a set of property chains for composition of various Allen’s relations are also available separately from IOF Core.

Test Case # Allen-1

Purpose	Functional testing of Allen’s relations
Scope	Temporal interrelations of various processes and their participants
User story	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.
Data	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)
Competency Questions
Pre-process steps	The dates are transformed to xsd:DateTime format by using OntoRefine (https://www.ontotext.com/products/ontotext-refine/). The data is loaded to GraphDB (https://www.ontotext.com/products/graphdb ) using the Insert query in . bfo:precedes and occursSimultaneouslyWith between instances of ‘bfo: temporal instance’ using the insert queries in . The Allen’s relations among ‘bfo:temporal interval' and ‘bfo:process’ are asserted using SWRL rules (see <> for details).
System Configuration	Intel(R) Core(TM) i7-9750H CPU @ 2.60GHz 2.59 GHz with 32.0 GB RAM
Methodology	Each CQs are tested with the following SPARQL queries as mentioned in the following table using https://www.ontotext.com/products/graphdb workbench.
Result	All tests are passed

CQ Identifier	SPARQL Query	Result
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