Core Ontology, 202401 Release
What's Changed?
This is the second release of the IOF Core Ontology, but it is the first one of 2024, that the IOF makes available for public use. The main enhancement is the support for specifying temporal relations between occurrences such as events and processes. For that, the IOF Core team implemented the Allen Interval Algebra. This addition, not only offers a variety of temporal relations, but the formalizations given in OWL and SWRL also offer powerful constraint checking and inferencing capabilities as well. Along with that OWL Time is also supported (https://www.w3.org/TR/owl-time/). Through a provided mapping file, which can be imported into a deployment ontology, the user can express the values associated with ‘temporal instant’ and ‘temporal interval’, through durations and date-time information using either the conventional (Gregorian) calendar and clock, or using another temporal reference system such as Unix-time, geologic time, or different calendars.
Along with this new release of IOF Core ontology, the IOF Core team publishes a non-normative guideline document for using the Quantity, Unit, Dimension and Type (QUDT) Ontology with IOF ontologies. QUDT provides a rich vocabulary for quantity kinds and associated units of measure that can be used with the IOF Measurement and Measurement Process entities while the IOF is still working on its BFO-aligned version. In this way, the IOF user community has consistent and interoperable patterns when using IOF ontologies with QUDT. Another benefit of following the guidelines is that when the IOF has developed its quantity and unit ontology, an effort will be made to provide the content necessary to carry forward interoperability with the patterns. It should be noted that the IOF Core team has worked with the QUDT maintainers to fix several issues associated with opening QUDT in Protege 5.5 and with running a reasoner. The result is that QUDT versions 2.1.33 and 2.1.34 can be opened in Protege without error and have been tested to work with Hermit Reasoner version 1.4.
Another enhancement is the ability to represent the gain and loss of roles. Lastly, some terms in the Supply Chain Ontology were promoted to the Core; and some IOF Core terms got updated with more precise formal semantics primarily because of the new terms added in this release.
Validation
To ensure the axiomatic correctness and practical applicability of introduced changes, the IOF Core team has provided a set of comprehensive use cases that include competency questions. Each use case features a user story, instantiated data, competency questions, and SPARQL query results.
Allen Interval Algebra
IOF Core supports representing qualitative temporal information between 'processes' and between 'temporal intervals' (for detailed information about the exact properties created and rationale for choosing Allen Interval Algebra, see confluence page).
In an aim to guide and provide additional utilities of Allen’s temporal relations, two additional files: TemporalRelationChain.rdf and TemporalRelationsInference.rdf are supplied. They can be incorporated into a deployment environment that would result in more utility of the algebra. The former file contains property chain assertions, and the latter contains a set of SWRL rules. When applying appropriate reasoners, the former will bring about the effect of multiple, related Allen’s relations to data. The latter will infer possible Allen’s relations from data.
Temporal Interval and Temporal Instant Value Representation
IOF Core has introduced two new classes to quantify ‘temporal interval’ and ‘temporal instant’. These two classes: ‘temporal duration value expression’ and ‘temporal instant value expression’. IOF Core has also added a new data property 'hasDateTimeInstantValue', which may be used to relate a 'temporal instant value expression' to an XSD date-time.
Additionally, a mapping file MappingTimeToIOF.rdf contains mappings of ‘temporal duration value expression’ and ‘temporal instant value expression’ to corresponding classes in the OWL Time (https://www.w3.org/TR/owl-time/) ontology. If the user imports this file in their application files, they can use calendar date and clock time as well as measurement of duration with IOF Core entities to respectively express ‘time instant’ and ‘time interval’ based on various reference systems (e.g., calendar and clock systems) and units (e.g., hour, minute, second).
For more details about the usage of the new classes and the utilization of owl-time with IOF Core, see the confluence page.
Gaining and Losing Roles
BFO does not provide a way to express when the bearer has started or stopped bearing a role and for how long the role was held. To fill in these shortcomings, ‘gain of role’ and ‘loss of role’ were introduced to IOF Core as subclasses of ‘process’ (for more details about the usage and formalization of the two classes, see confluence page).
Guideline for using IOF Core with QUDT
Currently, the IOF Core Ontology contains key classes and properties for representing magnitude values as well as measurements. However, the IOF has not yet developed classes and properties for representing units of measure, systems of units, and quantity kinds. Developing this could take a long time; therefore, the IOF Core Working Group has taken a tactical step to provide an interim approach using the QUDT ontology. As a result, a non-normative guideline has been developed to establish a foundation for consistent representation of unit-value pairs with the QUDT ontology suite. QUDT was chosen due to its large coverage of units and systems of units as well as its additional provision for unit conversion, dimensional analysis as well as unit equivalence analysis.
It is important to point out that since the guideline is non-normative, the IOF user has the flexibility to use or incorporate other units' ontologies. However, in the event of leveraging QUDT, users are encouraged to adhere to the instructions outlined in the guideline as it will promote interoperability and ease of future transition to an IOF unit ontology.
Key aspects covered by the guideline include the proper instantiation of quantitative and semi-quantitative values. This involves the combination of IOF Core Classes (such as 'value expression' and its subclasses) and IOF Core object and data properties ('has value expression at some time' and its subproperties, and 'has simple expression value') with QUDT classes ('quantity value', 'unit', 'quantity kind') and their instances, including specific units within the QUDT unit vocabulary (e.g., Celsius). Furthermore, the guideline provides explicit instructions on combining QUDT object and data properties ('unit', 'has quantity kind', 'upper bound', and 'lower bound').
To aid understanding, the guideline is enriched with illustrative examples. These examples demonstrate the representation of measured values, physical constant values, specified value ranges, and the integration of the 'measurement process' in which particular values are obtained.
The guideline also equips users with instructions on introducing new units when unavailable within the QUDT framework. Finally, the guideline explains the underlying reasons for the adopted design patterns.
Incorporation of terms from the Supply Chain Ontology (SCO)
Several terms in SCO that are applicable beyond the supply chain domain have been identified and moved to IOF Core. They are then marked deprecated in SCO. With the current IRI specification, these terms now have the IOF Core namespace. The IOF annotation rules also require that all annotations on the deprecated terms be deleted. The following terms are moved:
- Designed Function (was Artifact Function)
As part of the move of the term ‘artifact function’, both its label and definition were improved to respect the BFO definition of ‘function’, and align with the definitions of ‘artifact’ and ‘engineered system’. Rather than a function of some material artifact, it is now defined as a function prescribed by some design specification. - Gain of Role
As part of the move of the term ‘gain of role’, the definition was expanded to make extensive use of Allen’s Time Intervals. Specifically, additional axioms indicate that the process produces a role that does not exist prior to the process. For more information, see Gaining and Losing Roles above. - Group of Persons
As part of the move, the principle of identity for this term was changed to strengthen the semantics and make it more widely applicable, such that the group can survive a change in its members. For example, The band, called The Beatles, survived the change in drummer from Pete Best to Ringo Starr. To achieve this, the axiomatization changed from using the ‘hasMemberPartAtAllTimes’ property to the ‘hasMemberPartAtSomeTime’ property. - Loss of Role
As part of the move, the definition was expanded to make extensive use of Allen’s Time Intervals. Specifically, additional axioms express that the process makes a role cease to exist after the process. For more information, see Gaining and Losing Roles above.
Constructs that have undergone changes in this release
- Product Production Process
The ‘product production process’ was axiomatically strengthened to emphasize that the product begins to exist during the production process and continues to exist after it. This addition helps differentiate the product from "production intermediaries" that may transiently exist during the product production process. It exploits the newly introduced 'temporally overlaps' from the Allen Interval Algebra. - Engineered System and Material Artifact
The ‘engineered system’ and ‘material artifact’ classes have had their axioms updated to use class ‘designed function’ relocated from the supply chain ontology. Given that the ‘designed function’ encapsulates part of their prior definition, there is no effective semantic change. - Organization
The ‘organization’ has been made disjoint with ‘engineered system’ and ‘material artifact’. Also, the condition that an organization can only have individual persons as members has been loosened to allow for organizations to be members of another organization.