Versions Compared

Old Version 4

changes.mady.by.user Arkopaul Sarkar

Saved on

compared with

New Version 5

changes.mady.by.user Arkopaul Sarkar

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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 the compositions of various Allen’s relations are also available separately from IOF Core.

...

Mapping with OWL-Time

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 https://www.w3.org/TR/owl-time/ classes to allow users to utilize the capability of https://www.w3.org/TR/owl-time/ for asserting calendar and clock time as well as durations in various formats, granularity and systems.

Test Case # time-1 (Validation of data

...

modelled using both IOF-Core and OWL-Time)

Purpose

Test the ability to consistently use https://www.w3.org/TR/owl-time/ time description class and properties in conjunction with IOF-Core constructs

Scope

Calendar and clock

Conducted by

Arkopaul Sarkar

IOF Core version

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

Date of testing

User story

Test scenarios are derived from the examples given in https://www.w3.org/TR/owl-time/#examples.

Data

Test data are derived from the examples given in https://www.w3.org/TR/owl-time/#examples.

Examples covered:

  1. DateTimeDescription vs dateTime (https://www.w3.org/TR/owl-time/#dtd-vs-dt )

  2. Use of temporal reference systems (https://www.w3.org/TR/owl-time/#different-TRS)

  3. Temporal precision (https://www.w3.org/TR/owl-time/#temporal-precision )

  4. A Use Case for Scheduling (https://www.w3.org/TR/owl-time/#scheduling )

Test criteria

  1. Examples in OWL-Time should be reproduced without loss of data.

  2. The data model is consistent.

Pre-process steps

  1. The data is manually modeled in Protege (https://protege.stanford.edu/ v 5.5.0) using IOF Core (spring release candidate) and https://www.w3.org/TR/2022/CRD-owl-time-20221115/ (Source file available at https://raw.githubusercontent.com/w3c/sdw/gh-pages/time/rdf/time.ttl).

  2. The mapping file is imported from https://spec.industrialontologies.org/ontology/core/commonstocoremapping/MappingOWLTimeToIOF .

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

System configuration

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

Methodology

The assertions in the following file are compared with the assertions given in https://www.w3.org/TR/owl-time/#examples in Turtle format as well as reasoned for checking consistency.

View file
namerole-gor-lor-inf.rdftime-example1.ttl

Result

All tests are passed as shown in the following table.

...