{"type":"doc","content":[{"type":"paragraph","content":[{"text":"This page contains the results of various tests conducted on IOF Core including evaluations 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. ","type":"text"}]},{"type":"rule"},{"type":"heading","attrs":{"level":2},"content":[{"text":"Table of contents","type":"text"}]},{"type":"extension","attrs":{"layout":"default","extensionType":"com.atlassian.confluence.macro.core","extensionKey":"toc","parameters":{"macroParams":{"minLevel":{"value":"3"},"maxLevel":{"value":"4"},"outline":{"value":"false"},"type":{"value":"list"},"printable":{"value":"false"}},"macroMetadata":{"macroId":{"value":"6f03e6cc-523e-46a4-a410-1c3291780567"},"schemaVersion":{"value":"1"},"title":"Table of Contents"}},"localId":"a49123f7-8cf7-4459-892a-f3e3e8d75d01"},"marks":[{"type":"fragment","attrs":{"name":"Extension 1","localId":"c9aade8c-e37c-4809-b45f-bcb92c8ea28f"}}]},{"type":"paragraph"},{"type":"rule"},{"type":"heading","attrs":{"level":3},"content":[{"text":" Allen’s Relations","type":"text"}]},{"type":"paragraph","content":[{"text":"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 the compositions of various Allen’s relations are also available separately from IOF Core.","type":"text"}]},{"type":"heading","attrs":{"level":4},"content":[{"text":"Test Case # Allen-1 (Functional testing using competency questions) ","type":"text"}]},{"type":"table","attrs":{"layout":"default","width":760.0,"localId":"5cccd83e-65d6-4057-ad72-2285a7c1da97"},"marks":[{"type":"fragment","attrs":{"name":"Table 1","localId":"8c1b0150-85bf-42d3-91bd-a0de74b43aa7"}}],"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Purpose","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Functional testing of Allen’s relations using competency questions","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Scope","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Temporal relations among various processes and their influence on the participants of these processes.","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Conducted by","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"60d6f461d5dde80071c259ce","text":"@Arkopaul Sarkar"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"IOF Core version","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"IOF Core spring release candidate available at ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://github.com/iofoundry/ontology/tree/core_allen_interval_algebra"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Date of testing","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"type":"date","attrs":{"timestamp":"1692057600000"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"User story","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"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. ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Data","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Production data on 10 work orders. Important columns are:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Activity: ","type":"text"},{"text":"Type of process","type":"text","marks":[{"type":"annotation","attrs":{"annotationType":"inlineComment","id":"cad58b85-1cf6-4c7a-b549-9edc921a2da1"}}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Resource: machine used","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Start timestamp: ","type":"text"},{"text":"beginning","type":"text","marks":[{"type":"annotation","attrs":{"annotationType":"inlineComment","id":"7b0b2217-4ad2-49b4-b6a5-4c2d41af11b0"}}]},{"text":" time of the process","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Complete timestamp: end time of the process","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Span: the duration of the process","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Work Order: # of work order","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Part Desc. : The type of the part produced","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Worker ID: Identifier of the worker assigned to the machine for the process","type":"text"}]}]}]},{"type":"paragraph","content":[{"text":" ","type":"text"},{"type":"mediaInline","attrs":{"id":"1ca75827-2941-4b29-a6dc-6032a5f35540","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]},{"type":"paragraph","content":[{"text":"Note: The data is a part of and customised from the original data retrieved from ","type":"text"},{"type":"inlineCard","attrs":{"url":"http://fluxicon.com/disco/"}},{"text":" presented by Dafna Levy (","type":"text"},{"text":"dafnal@nool.co.il","type":"text","marks":[{"type":"link","attrs":{"href":"mailto:dafnal@nool.co.il"}}]},{"text":")","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Test criteria","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"The following competency questions should be available for query and the answers to the query should match the corresponding answers.","type":"text"}]},{"type":"paragraph","content":[{"text":" ","type":"text"},{"type":"mediaInline","attrs":{"id":"59ad25f9-7b23-4bb8-933e-b2875ac95983","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Pre-process steps","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"The data is loaded to GraphDB (","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.ontotext.com/products/graphdb"}},{"text":" ) modeled using IOF Core (spring release candidate) and SWRL rules (see Pre-process steps of Test Case # Allen-2). ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"System configuration","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Intel(R) Core(TM) i7-9750H CPU @ 2.60GHz 2.59 GHz with 32.0 GB RAM","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Methodology","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Each CQs are tested with the following SPARQL queries as mentioned in the following table using ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.ontotext.com/products/graphdb"}},{"text":" workbench on the KG below.","type":"text"}]},{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"71290bd0-5007-4cf1-8f7f-4307c2798a0f","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Result ","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"All tests are passed as shown in the following table.","type":"text"}]}]}]}]},{"type":"table","attrs":{"layout":"default","width":760.0,"localId":"51fd3bfa-83f2-48db-8b15-e773a1070589"},"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"CQ Identifier","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"text":"SPARQL Query","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"paragraph","content":[{"text":"Result","type":"text","marks":[{"type":"strong"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-1","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"3a49c352-d968-450a-88b3-4227ffe571ea","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"98"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-2","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"e5421ac4-89d2-4aa8-a9f9-32f44bf531ee","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"99"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-3","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"41259fef-6c46-46ef-9ab9-2f2d348a2000","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"100"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-4","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"08df3756-2751-4a02-bc16-6610661bb26d","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"101"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-5","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"fcf93e79-23b1-4b26-a581-f1d42b12b6de","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"102"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-6","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"text":" ","type":"text"},{"type":"mediaInline","attrs":{"id":"b4cb5831-1d45-4606-8f94-7575bbcf50bd","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"103"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-7","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"text":" ","type":"text"},{"type":"mediaInline","attrs":{"id":"1e3fee8b-238d-4837-a6ba-1cd932e42b44","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"104"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-8","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"text":" ","type":"text"},{"type":"mediaInline","attrs":{"id":"1452aeba-0972-4125-a388-b8e3ae1ba9cd","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"105"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-9","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"text":" ","type":"text"},{"type":"mediaInline","attrs":{"id":"8577c869-7493-4411-86c9-907b59a2e13d","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"106"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-10","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"text":" ","type":"text"},{"type":"mediaInline","attrs":{"id":"453f33d7-47f4-433e-8e15-ee7f2162bb04","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"107"},"content":[{"text":"Passed","type":"text"}]}]}]}]}]},{"type":"heading","attrs":{"level":4},"content":[{"text":"Test Case # Allen-2 (Inferences by SWRL rules and inverse axioms) ","type":"text"}]},{"type":"table","attrs":{"layout":"default","width":760.0,"localId":"98f44ae8-efa1-4135-b4a6-e50fd0768f56"},"marks":[{"type":"fragment","attrs":{"localId":"36143bec-c8c6-493e-894e-f3cad3f04a1d"}}],"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Purpose","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Testing the consequence of SWRL rules for asserting Allen’s relations","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Scope","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Temporal relations among time instances, intervals, and processes.","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Conducted by","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"60d6f461d5dde80071c259ce","text":"@Arkopaul Sarkar"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"IOF Core version","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"IOF Core spring release candidate available at ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://github.com/iofoundry/ontology/tree/core_allen_interval_algebra"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Date of testing","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"type":"date","attrs":{"timestamp":"1692316800000"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"User story","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"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. ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Data","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Production data on 10 work orders. Important columns are:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Activity: process occurred","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Resource: machine used","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Start timestamp: begining time of the process","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Complete timestamp: end time of the process","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Span: the duration of the process","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Work Order: # of work order","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Part Desc. : The type of the part produced","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Worker ID: Identifier of the worker assigned to the machine for the process","type":"text"}]}]}]},{"type":"paragraph","content":[{"text":" ","type":"text"},{"type":"mediaInline","attrs":{"id":"1ca75827-2941-4b29-a6dc-6032a5f35540","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]},{"type":"paragraph","content":[{"text":"Note: The data is a part of and customised from the original data retrieved from ","type":"text"},{"type":"inlineCard","attrs":{"url":"http://fluxicon.com/disco/"}},{"text":" presented by Dafna Levy (","type":"text"},{"text":"dafnal@nool.co.il","type":"text","marks":[{"type":"link","attrs":{"href":"mailto:dafnal@nool.co.il"}}]},{"text":")","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Test criteria","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"orderedList","attrs":{"order":1},"content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The SWRL rules on Allen’s relation should be able to infer the desired consequence when executed.","type":"text"}]}]}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Pre-process steps","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"orderedList","attrs":{"order":1},"content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The dates are transformed to xsd:DateTime format by using OntoRefine (","type":"text"},{"text":"https://www.ontotext.com/products/ontotext-refine","type":"text","marks":[{"type":"link","attrs":{"href":"https://www.ontotext.com/products/ontotext-refine/"}}]},{"text":"/).","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The data is loaded to GraphDB (","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.ontotext.com/products/graphdb"}},{"text":" ) modeled using IOF Core (spring release candidate) by Insert query in ","type":"text"},{"type":"mediaInline","attrs":{"id":"a104f8e5-6dc2-4f7f-b85b-2d878bdec662","collection":"contentId-4692606977"}},{"text":" .","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"bfo:precedes and occursSimultaneouslyWith between instances of ‘bfo: temporal instance’ using the insert queries in ","type":"text"},{"type":"mediaInline","attrs":{"id":"19c9bd47-2098-4ebc-889b-b7457bc48a1e","collection":"contentId-4692606977"}},{"text":" ","type":"text"},{"type":"mediaInline","attrs":{"id":"7e0bbcfb-a275-4f9e-aa3b-b0761d6e3806","collection":"contentId-4692606977"}},{"text":".","type":"text"}]}]}]},{"type":"paragraph","content":[{"text":"KG generated by step 3: ","type":"text"},{"type":"mediaInline","attrs":{"id":"0e301133-e3df-4c15-8eae-b44ed0407fd4","collection":"contentId-4692606977"}},{"text":" e","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"System configuration","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Intel(R) Core(TM) i7-9750H CPU @ 2.60GHz 2.59 GHz with 32.0 GB RAM","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Methodology","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"orderedList","attrs":{"order":1},"content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The KG generated by Step 3 of pre-process is opened in Protege (","type":"text"},{"type":"inlineCard","attrs":{"url":"https://protege.stanford.edu/"}},{"text":" v 5.5.0). ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Core ontology release candidate and SWRL rules from ","type":"text"},{"text":"http://spec.industrialontologies.org/rules/core/TemporalRelations02","type":"text","marks":[{"type":"link","attrs":{"href":"http://spec.industrialontologies.org/rules/core/TemporalRelations02"}}]},{"text":" are imported. ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Reasoning is completed using Hermit reasoner (","type":"text"},{"type":"inlineCard","attrs":{"url":"http://www.hermit-reasoner.com/"}},{"text":" v 1.4.3.456) in 140099 ms.","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"As Rules 8-12, 14, and 15 requires other rules to succeed, only the consequences of these rules are evaluated.","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"For each rule, at least one example of consequence is searched in the inferred ontology. ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"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.","type":"text"}]}]}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Result ","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"All tests are passed (see in the table below)","type":"text"}]}]}]}]},{"type":"table","attrs":{"layout":"default","width":760.0,"localId":"0f3f3923-b3e8-48a7-9988-43dae6a48efa"},"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[78.0]},"content":[{"type":"paragraph","content":[{"text":"#","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[140.0]},"content":[{"type":"paragraph","content":[{"text":"Targer","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[336.0]},"content":[{"type":"paragraph","content":[{"text":"Explanation ","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[206.0]},"content":[{"type":"paragraph","content":[{"text":"Result","type":"text","marks":[{"type":"strong"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[78.0]},"content":[{"type":"paragraph","content":[{"text":"1","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[140.0]},"content":[{"type":"paragraph","content":[{"text":"Rule S8","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[336.0]},"content":[{"type":"mediaSingle","attrs":{"layout":"center"},"content":[{"type":"media","attrs":{"width":1125,"id":"b22a7cf0-b063-4202-bf4b-55d7601ee20d","collection":"contentId-4692606977","type":"file","height":409}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[206.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"108"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[78.0]},"content":[{"type":"paragraph","content":[{"text":"2","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[140.0]},"content":[{"type":"paragraph","content":[{"text":"Rule S9","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[336.0]},"content":[{"type":"mediaSingle","attrs":{"layout":"center"},"content":[{"type":"media","attrs":{"width":1125,"id":"b7f27f42-0b52-45ee-9727-4c004186bb54","collection":"contentId-4692606977","type":"file","height":409}}]},{"type":"paragraph"}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[206.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"109"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[78.0]},"content":[{"type":"paragraph","content":[{"text":"3","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[140.0]},"content":[{"type":"paragraph","content":[{"text":"Rule S10","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[336.0]},"content":[{"type":"mediaSingle","attrs":{"layout":"center"},"content":[{"type":"media","attrs":{"width":1116,"id":"1902e3b6-2523-4ba3-bef0-a8214f933d05","collection":"contentId-4692606977","type":"file","height":473}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[206.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"110"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[78.0]},"content":[{"type":"paragraph","content":[{"text":"4","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[140.0]},"content":[{"type":"paragraph","content":[{"text":"Rule S11","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[336.0]},"content":[{"type":"mediaSingle","attrs":{"layout":"center"},"content":[{"type":"media","attrs":{"width":1117,"id":"b14ba800-5f83-4c4f-8b1e-b42cadca0c3f","collection":"contentId-4692606977","type":"file","height":473}}]},{"type":"paragraph","content":[{"text":"P41 LaserMarking","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[206.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"111"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[78.0]},"content":[{"type":"paragraph","content":[{"text":"5","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[140.0]},"content":[{"type":"paragraph","content":[{"text":"Rule S12","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[336.0]},"content":[{"type":"mediaSingle","attrs":{"layout":"center"},"content":[{"type":"media","attrs":{"width":1118,"id":"04b0c8e6-22eb-427d-acf3-8bc20ce850ae","collection":"contentId-4692606977","type":"file","height":480}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[206.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"112"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[78.0]},"content":[{"type":"paragraph","content":[{"text":"6","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[140.0]},"content":[{"type":"paragraph","content":[{"text":"Rule S14","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[336.0]},"content":[{"type":"mediaSingle","attrs":{"layout":"center"},"content":[{"type":"media","attrs":{"width":1115,"id":"ac16135f-b17d-40b7-afeb-2a0e1fbcb651","collection":"contentId-4692606977","type":"file","height":453}}]},{"type":"paragraph"}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[206.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"113"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[78.0]},"content":[{"type":"paragraph","content":[{"text":"7","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[140.0]},"content":[{"type":"paragraph","content":[{"text":"Rule S15","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[336.0]},"content":[{"type":"mediaSingle","attrs":{"layout":"center"},"content":[{"type":"media","attrs":{"width":1127,"id":"6c081154-a969-4200-a830-81d6914704b3","collection":"contentId-4692606977","type":"file","height":476}}]},{"type":"paragraph"}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[206.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"114"},"content":[{"text":"Passed","type":"text"}]}]}]}]}]},{"type":"heading","attrs":{"level":3},"content":[{"text":"Gain of Role and Loss of Role","type":"text"}]},{"type":"paragraph","content":[{"text":"“Gain of Role” (GOR) and “Loss of Role” (LOR) are two new process types included in the IOF to provide the ability to model when a bearer starts bearing the role and when it loses the role as well as the duration for which the bearer bears the role. ","type":"text"}]},{"type":"heading","attrs":{"level":4},"content":[{"text":"Test Case # role-1 (Functional testing using competency questions) ","type":"text"}]},{"type":"table","attrs":{"layout":"default","width":760.0,"localId":"db86c021-3923-430c-b149-51cdf1bd9549"},"marks":[{"type":"fragment","attrs":{"localId":"48b19952-cb7a-415a-a842-e7955c4f54c0"}}],"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Purpose","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Functional testing of GOR and LOR using competency questions","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Scope","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Classification of GOR and LOR and query based on temporal durations of Roles borne by different bearers and other contemporary events","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Conducted by","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"60d6f461d5dde80071c259ce","text":"@Arkopaul Sarkar"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"IOF Core version","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"IOF Core spring release candidate available at ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://github.com/iofoundry/ontology/tree/core_allen_interval_algebra"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Date of testing","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"type":"date","attrs":{"timestamp":"1692316800000"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"User story","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Three operators are employed at a control room that remains operational for 24 hours. Operators work in three shifts of around 8 hours each having around 10 minutes for change-over between shifts. The following entries were recorded in the logbook on 28","type":"text"},{"text":"th","type":"text","marks":[{"type":"subsup","attrs":{"type":"sup"}}]},{"text":" May 2016. As per policy, the shift starts for an operator as soon as she arrives in the control room and ends when she leaves the room.","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Data","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"[2016-05-28T00:03:00Z] Operator 1 arrived for change-over. ","type":"text"}]},{"type":"paragraph","content":[{"text":"[2016-05-28T00:10:00Z] Operator 3 left the control.","type":"text"}]},{"type":"paragraph","content":[{"text":"[2016-05-28T03:24:00Z] Incident 1 is observed.","type":"text"}]},{"type":"paragraph","content":[{"text":"[2016-05-28T03:26:00Z] Incident 1 is stopped.","type":"text"}]},{"type":"paragraph","content":[{"text":"[2016-05-28T07:58:00Z] Operator 2 arrived for change-over.","type":"text"}]},{"type":"paragraph","content":[{"text":"[2016-05-28T08:07:00Z] Operator 1 left the control.","type":"text"}]},{"type":"paragraph","content":[{"text":"[2016-05-28T16:01:00Z] Operator 3 arrived for change-over.","type":"text"}]},{"type":"paragraph","content":[{"text":"[2016-05-28T16:05:00Z] Incident 2 is observed.","type":"text"}]},{"type":"paragraph","content":[{"text":"[2016-05-28T16:08:00Z] Operator 2 left the control.","type":"text"}]},{"type":"paragraph","content":[{"text":"[2016-05-28T23:43:00Z] Incident 3 is observed.","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Test criteria","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"The following competency questions should be available for query and the answers to the query should match the corresponding answers.","type":"text"}]},{"type":"paragraph","content":[{"text":" ","type":"text"},{"type":"mediaInline","attrs":{"id":"58c4ac52-74e4-4db5-a750-b80021139554","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Pre-process steps","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"orderedList","attrs":{"order":1},"content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The data is manually modeled in Protege (","type":"text"},{"type":"inlineCard","attrs":{"url":"https://protege.stanford.edu/"}},{"text":" v 5.5.0) using IOF Core (spring release candidate). ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Reasoning is completed using Hermit reasoner (","type":"text"},{"type":"inlineCard","attrs":{"url":"http://www.hermit-reasoner.com/"}},{"text":" v 1.4.3.456). ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The inferred KG is loaded into ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.ontotext.com/products/graphdb"}},{"text":" directly as the following RDF. ","type":"text"}]}]}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"System configuration","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Intel(R) Core(TM) i7-9750H CPU @ 2.60GHz 2.59 GHz with 32.0 GB RAM","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Methodology","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"Each CQs are tested with SPARQL queries given in the following table using ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.ontotext.com/products/graphdb"}},{"text":" workbench on the KG below.","type":"text"}]},{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"e2af5975-15f7-4fac-91da-bd772017cbaa","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[200.0]},"content":[{"type":"paragraph","content":[{"text":"Result ","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[560.0]},"content":[{"type":"paragraph","content":[{"text":"All tests are passed as shown in the following table.","type":"text"}]}]}]}]},{"type":"table","attrs":{"layout":"default","width":760.0,"localId":"a2e869fd-489a-4bb1-afce-06919d2c814d"},"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"CQ Identifier","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"text":"SPARQL Query","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"paragraph","content":[{"text":"Result","type":"text","marks":[{"type":"strong"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-1","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"3a49c352-d968-450a-88b3-4227ffe571ea","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"115"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-2","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"e5421ac4-89d2-4aa8-a9f9-32f44bf531ee","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"116"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-3","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"41259fef-6c46-46ef-9ab9-2f2d348a2000","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"117"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-4","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"08df3756-2751-4a02-bc16-6610661bb26d","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"118"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-5","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"fcf93e79-23b1-4b26-a581-f1d42b12b6de","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"119"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[184.0]},"content":[{"type":"paragraph","content":[{"text":"core-s1-6","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[323.0]},"content":[{"type":"paragraph","content":[{"text":"test-core-s1-4 (change filter by incident3)","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[253.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"120"},"content":[{"text":"Passed","type":"text"}]}]}]}]}]},{"type":"heading","attrs":{"level":3},"content":[{"text":"Mapping with OWL-Time","type":"text"}]},{"type":"paragraph","content":[{"text":"IOF-Core includes a provision to assert calendar date and clock time to the instances of bfo:Temporal Instant by using two sub-classes of ValueExpression: TemporalInstantValueExpression and TemporalIntervalValueExpression and a data property hasDateTimeValue which can link a xsd:DateTime to TemporalInstantValueExpression. However, both TemporalInstantValueExpression and TemporalIntervalValueExpression classes are mapped to ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.w3.org/TR/owl-time/"}},{"text":" classes to allow users to utilize the capability of ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.w3.org/TR/owl-time/"}},{"text":" for asserting calendar and clock time as well as durations in various formats, granularity and systems. ","type":"text"}]},{"type":"heading","attrs":{"level":4},"content":[{"text":"Test Case # time-1 (Validation of data modelled using both IOF-Core and OWL-Time) ","type":"text"}]},{"type":"table","attrs":{"layout":"default","width":760.0,"localId":"4cc66dab-e4b7-4520-bdfd-03554c85f6b2"},"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"Purpose","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"paragraph","content":[{"text":"Test the ability to consistently use ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.w3.org/TR/owl-time/"}},{"text":" time description class and properties in conjunction with IOF-Core constructs","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"Scope","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"paragraph","content":[{"text":"Calendar and clock ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"Conducted by","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"60d6f461d5dde80071c259ce","text":"@Arkopaul Sarkar"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"IOF Core version","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"paragraph","content":[{"text":"IOF Core spring release candidate available at ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://github.com/iofoundry/ontology/tree/core_allen_interval_algebra"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"Date of testing","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"paragraph","content":[{"type":"date","attrs":{"timestamp":"1692489600000"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"User story","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"paragraph","content":[{"text":"Test scenarios are derived from the examples given in ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.w3.org/TR/owl-time/#examples"}},{"text":".","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"Data","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"paragraph","content":[{"text":"Test data are derived from the examples given in ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.w3.org/TR/owl-time/#examples"}},{"text":".","type":"text"}]},{"type":"paragraph","content":[{"text":"Examples covered:","type":"text"}]},{"type":"orderedList","attrs":{"order":1},"content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"DateTimeDescription vs dateTime (","type":"text"},{"text":"https://www.w3.org/TR/owl-time/#dtd-vs-dt","type":"text","marks":[{"type":"link","attrs":{"href":"https://www.w3.org/TR/owl-time/#dtd-vs-dt"}}]},{"text":" )","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Use of temporal reference systems (","type":"text"},{"text":"https://www.w3.org/TR/owl-time/#different-TRS","type":"text","marks":[{"type":"link","attrs":{"href":"https://www.w3.org/TR/owl-time/#different-TRS"}}]},{"text":") ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Temporal precision (","type":"text"},{"text":"https://www.w3.org/TR/owl-time/#temporal-precision","type":"text","marks":[{"type":"link","attrs":{"href":"https://www.w3.org/TR/owl-time/#temporal-precision"}}]},{"text":" )","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"A Use Case for Scheduling (","type":"text"},{"text":"https://www.w3.org/TR/owl-time/#scheduling","type":"text","marks":[{"type":"link","attrs":{"href":"https://www.w3.org/TR/owl-time/#scheduling"}}]},{"text":" )","type":"text"}]}]}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"Test criteria","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"orderedList","attrs":{"order":1},"content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples in OWL-Time should be reproduced without loss of data.","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The data model is consistent. ","type":"text"}]}]}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"Pre-process steps","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"orderedList","attrs":{"order":1},"content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The data is manually modeled in Protege (","type":"text"},{"type":"inlineCard","attrs":{"url":"https://protege.stanford.edu/"}},{"text":" v 5.5.0) using IOF Core (spring release candidate) and ","type":"text"},{"text":"https://www.w3.org/TR/2022/CRD-owl-time-20221115/","type":"text","marks":[{"type":"link","attrs":{"href":"https://www.w3.org/TR/2022/CRD-owl-time-20221115/"}}]},{"text":" (Source file available at ","type":"text"},{"text":"https://raw.githubusercontent.com/w3c/sdw/gh-pages/time/rdf/time.ttl","type":"text","marks":[{"type":"link","attrs":{"href":"https://raw.githubusercontent.com/w3c/sdw/gh-pages/time/rdf/time.ttl"}}]},{"text":"). ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The mapping file is imported from ","type":"text"},{"text":"https://spec.industrialontologies.org/ontology/core/commonstocoremapping/MappingOWLTimeToIOF","type":"text","marks":[{"type":"link","attrs":{"href":"https://spec.industrialontologies.org/ontology/core/commonstocoremapping/MappingOWLTimeToIOF/"}}]},{"text":" .","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Reasoning is completed using Hermit reasoner (","type":"text"},{"type":"inlineCard","attrs":{"url":"http://www.hermit-reasoner.com/"}},{"text":" v 1.4.3.456). ","type":"text"}]}]}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"System configuration","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"paragraph","content":[{"text":"Intel(R) Core(TM) i7-9750H CPU @ 2.60GHz 2.59 GHz with 32.0 GB RAM","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"Methodology","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"paragraph","content":[{"text":"The assertions in the following file are compared with the assertions given in ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.w3.org/TR/owl-time/#examples"}},{"text":" in Turtle format as well as reasoned for checking consistency. ","type":"text"}]},{"type":"paragraph","content":[{"type":"mediaInline","attrs":{"id":"8418c9ae-5b2f-479d-83da-e54606b1face","collection":"contentId-4692606977"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[194.0]},"content":[{"type":"paragraph","content":[{"text":"Result ","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[566.0]},"content":[{"type":"paragraph","content":[{"text":"All tests are passed as shown in the following table. The ontology was processed without issues by Hermit reasoner in 5651 ms.","type":"text"}]}]}]}]},{"type":"table","attrs":{"layout":"full-width","width":1800.0,"localId":"4a7acb4f-7a68-4aea-a3c0-cbd04daa6be5"},"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[133.08]},"content":[{"type":"paragraph","content":[{"text":"#","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[211.0]},"content":[{"type":"paragraph","content":[{"text":"Example modeled","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[397.0]},"content":[{"type":"paragraph","content":[{"text":"Model using OWL-Time","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[417.0]},"content":[{"type":"paragraph","content":[{"text":"Model using IOF Core and OWL-Time","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[127.0]},"content":[{"type":"paragraph","content":[{"text":"Result","type":"text","marks":[{"type":"strong"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[133.08]},"content":[{"type":"paragraph","content":[{"text":"1","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[211.0]},"content":[{"type":"paragraph","content":[{"text":"DateTimeDescription vs dateTime","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[397.0]},"content":[{"type":"codeBlock","content":[{"text":"ex:meetingStart\n a :Instant ;\n :inDateTime ex:meetingStartDescription ;\n :inXSDDateTimeStamp 2017-04-12T10:30:00+10:00 .\n\nex:meetingStartDescription\n a :DateTimeDescription ;\n :unitType :unitMinute ;\n :minute 30 ;\n :hour 10 ;\n :day \"---12\"^^xsd:gDay ;\n :dayOfWeek :Wednesday ;\n :dayOfYear 102 ;\n :week 15 ;\n :month \"--04\"^^xsd:gMonth ;\n :monthOfYear greg:April ;\n :timeZone ;\n :year \"2017\"^^xsd:gYear .","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[417.0]},"content":[{"type":"codeBlock","content":[{"text":":meetingStart rdf:type owl:NamedIndividual ,\n obo:BFO_0000203 ;\n Core:hasValueExpressionAtAllTimes :meetingStartDescription .\n\n:meetingStartDescription rdf:type owl:NamedIndividual ,\n time:DateTimeDescription ;\n intervals:monthOfYear intervals:April ;\n time:dayOfWeek time:Wednesday ;\n time:timeZone ;\n time:unitType time:unitMinute ;\n time:day \"---12\"^^xsd:gDay ;\n time:dayOfYear 102 ;\n time:hour 10 ;\n time:minute 30 ;\n time:month \"--04\"^^xsd:gMonth ;\n time:week 15 ;\n time:year \"2017\"^^xsd:gYear ;\n Core:hasDateTimeValue \"2017-04-12T10:30:00+10:00\"^^xsd:dateTime .","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[127.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"121"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[133.08]},"content":[{"type":"paragraph","content":[{"text":"2","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[211.0]},"content":[{"type":"paragraph","content":[{"text":"Use of temporal reference systems","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[397.0]},"content":[{"type":"codeBlock","content":[{"text":"ex:AbbyBirthday\n a :Instant ;\n :inDateTime ex:AbbyBirthdayHebrew ;\n :inTimePosition ex:AbbyBirthdayUnix ;\n rdfs:label \"Abby's birthdate\"^^xsd:string ;\n :inDateTime ex:AbbyBirthdayGregorian ;\n :inXSDDateTimeStamp \"2001-05-23T08:20:00+08:00\"^^xsd:dateTimeStamp ;\n.\nex:AbbyBirthdayGregorian\n a \t:DateTimeDescription ;\n :day \t\"---23\"^^xsd:gDay ;\n :dayOfWeek \t:Wednesday ;\n :dayOfYear \t\"143\"^^xsd:nonNegativeInteger ;\n :hour \t\"8\"^^xsd:nonNegativeInteger ;\n :minute \t\"20\"^^xsd:nonNegativeInteger ;\n :month \t\"--05\"^^xsd:gMonth ;\n :monthOfYear \tgreg:May ;\n :timeZone \t ;\n :unitType \t:unitMinute ;\n :year \t\"2001\"^^xsd:gYear ;\n.\nex:AbbyBirthdayUnix\n a :TimePosition ;\n :hasTRS ;\n :numericPosition 990577200 ;\n rdfs:label \"Abby's birthdate in Unix time\"^^xsd:string ;\n.\nex:UnixTime\n rdfs:subClassOf time:TimePosition ;\n rdfs:subClassOf [\n rdf:type owl:Restriction ;\n owl:hasValue ;\n owl:onProperty time:hasTRS ;\n ] ;\n.","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[417.0]},"content":[{"type":"codeBlock","content":[{"text":":AbbyBirthday rdf:type owl:NamedIndividual ,\n obo:BFO_0000203 ;\n Core:hasValueExpressionAtAllTimes :AbbyBirthdayDateTime ,\n :AbbyBirthdayGregorian ,\n :AbbyBirthdayUnix .\n:AbbyBirthdayDateTime rdf:type owl:NamedIndividual ,\n Core:TemporalInstantValueExpression ;\n Core:hasDateTimeValue \"2001-05-23T08:20:00+08:00\"^^xsd:dateTime .\n:AbbyBirthdayGregorian rdf:type owl:NamedIndividual ,\n time:DateTimeDescription ;\n intervals:dayOfWeek time:Wednesday ;\n intervals:monthOfYear intervals:May ;\n time:timeZone ;\n time:unitType time:unitMinute ;\n time:day \"---23\"^^xsd:gDay ;\n time:dayOfYear \"143\"^^xsd:nonNegativeInteger ;\n time:hour \"8\"^^xsd:nonNegativeInteger ;\n time:minute \"20\"^^xsd:nonNegativeInteger ;\n time:month \"--05\"^^xsd:gMonth ;\n time:year \"2001\"^^xsd:gYear .\n \n:AbbyBirthdayUnix rdf:type owl:NamedIndividual ,\n time:TimePosition ;\n time:hasTRS ;\n time:numericPosition 990577200 .","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[127.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"122"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[133.08]},"content":[{"type":"paragraph","content":[{"text":"3","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[211.0]},"content":[{"type":"paragraph","content":[{"text":"Temporal precision","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[397.0]},"content":[{"type":"codeBlock","content":[{"text":"geol:Present\n a :Instant ;\n :inDateTime [\n a :DateTimeDescription ;\n :unitType :unitYear ;\n :year \"1950\"^^xsd:gYear ;\n ] ;\n :inTimePosition [\n a :TimePosition ;\n :hasTRS ;\n :numericPosition 0.0 ;\n ] ;\n :inXSDDateTimeStamp \"1950-01-01T00:00:00Z\"^^xsd:dateTimeStamp ;\n rdfs:label \"The present\"^^xsd:string ;\n.\n\n\nex:DatabaseTimeStamp\n a :Instant ;\n :inXSDDateTimeStamp \"2015-11-01T17:58:16.102Z\"^^xsd:dateTimeStamp ;\n :inDateTime [\n a :DateTimeDescription ;\n :day \"---01\"^^xsd:gDay ;\n :hour \"17\"^^xsd:nonNegativeInteger ;\n :minute \"58\"^^xsd:nonNegativeInteger ;\n :month \"--11\"^^xsd:gMonth ;\n :second 16.102 ;\n :timeZone ;\n :year \"2015\"^^xsd:gYear ;\n ] ;\n :inDateTime [\n a ex:GPSTime ;\n :second 64696.102 ;\n :week \"1834\"^^xsd:nonNegativeInteger ;\n ] ;\n.\nex:GPSTime\n rdf:type owl:Class ;\n rdfs:comment \"GPS Time is the number of seconds since an epoch in 1980, encoded as the number of weeks + seconds into the week\" ;\n rdfs:subClassOf time:GeneralDateTimeDescription ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"0\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :day ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"0\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :dayOfWeek ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"0\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :dayOfYear ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"0\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :hour ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"0\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :minute ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"0\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :month ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"0\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :monthOfYear ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"0\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :timeZone ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"0\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :year ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"1\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :second ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:cardinality \"1\"^^xsd:nonNegativeInteger ; \n \towl:onProperty :week ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:hasValue :unitSecond ; \n \towl:onProperty :unitType ; ] ;\n rdfs:subClassOf [ a owl:Restriction ; \n \towl:hasValue ; \n \towl:onProperty :hasTRS ; ] ;\n.","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[417.0]},"content":[{"type":"codeBlock","content":[{"text":":present rdf:type owl:NamedIndividual ,\n obo:BFO_0000203 ;\n Core:hasValueExpressionAtAllTimes :presentInDateTime ,\n :presentInGeologicTime ,\n :presentInYear .\n:presentInYear rdf:type owl:NamedIndividual ,\n time:DateTimeDescription ;\n time:unitType time:unitYear ;\n time:year \"1950\"^^xsd:gYear .\n:presentInGeologicTime rdf:type owl:NamedIndividual ,\n time:TimePosition ;\n time:hasTRS ;\n time:numericPosition 0.0 .\n:presentInDateTime rdf:type owl:NamedIndividual ,\n Core:TemporalInstantValueExpression ;\n Core:hasDateTimeValue \"1950-01-01T00:00:00Z\"^^xsd:dateTime .\n\n:DatabaseTimeStamp rdf:type owl:NamedIndividual ,\n obo:BFO_0000203 ;\n Core:hasValueExpressionAtAllTimes :DatabaseTimeStampGPSTime ,\n :DatabaseTimeStampUniversalTime ,\n :DatabaseTimeStampinDateTime .\n:DatabaseTimeStampGPSTime rdf:type owl:NamedIndividual ,\n ;\n time:second 64696.102 ;\n time:week \"1834\"^^xsd:nonNegativeInteger . \n:DatabaseTimeStampUniversalTime rdf:type owl:NamedIndividual ,\n time:DateTimeDescription ;\n time:timeZone ;\n time:day \"---01\"^^xsd:gDay ;\n time:hour \"17\"^^xsd:nonNegativeInteger ;\n time:minute \"58\"^^xsd:nonNegativeInteger ;\n time:month \"--11\"^^xsd:gMonth ;\n time:second 16.102 ;\n time:year \"2015\"^^xsd:gYear .\n:DatabaseTimeStampinDateTime rdf:type owl:NamedIndividual ,\n Core:TemporalInstantValueExpression ;\n Core:hasDateTimeValue \"2015-11-01T17:58:16.102Z\"^^xsd:dateTime .","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[127.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"123"},"content":[{"text":"Passed","type":"text"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[133.08]},"content":[{"type":"paragraph","content":[{"text":"4","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[211.0]},"content":[{"type":"paragraph","content":[{"text":"A Use Case for Scheduling","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[397.0]},"content":[{"type":"codeBlock","content":[{"text":"ex:meeting\n a :Interval ;\n :hasBeginning ex:meetingStart ;\n :hasDurationDescription ex:meetingDuration .\nex:meetingDuration\n a :DurationDescription ;\n :minutes 45 .","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[417.0]},"content":[{"type":"codeBlock","content":[{"text":":meeting rdf:type owl:NamedIndividual ,\n obo:BFO_0000202 ;\n obo:BFO_0000222 :meetingStart ;\n time:hasDurationDescription :meetingDurationDescription .\n:meetingDurationDescription rdf:type owl:NamedIndividual ,\n time:DurationDescription ;\n time:minutes 45 .\n","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[127.0]},"content":[{"type":"taskList","attrs":{"localId":""},"content":[{"type":"taskItem","attrs":{"state":"DONE","localId":"124"},"content":[{"text":"Passed","type":"text"}]}]}]}]}]},{"type":"paragraph"}],"version":1}