...
As of 05-02-2025, the ontology contains 24 object properties. The majority of the 13 fundamental axioms of the ontology are explicitly encoded as predicates. Some, like #4 and #13 do not (or not yet) have equivalent properties.
This list of predicates is not sufficient to make the ontology fully operational. Working through some concrete examples may be a good starting point for identifying which additional predicates are needed.
Axiom | Property (Inverse property) | Status | Solution |
|---|
An agent engages in an activity
| engagesIn (isPerformedBy)
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
An activity impacts an environment
| activityImpacts (impactedByActivity)
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
An environment is defined by interrelated parameters
| isDefinedBy (belongsToEnvironment)
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
A state is the value of a parameter P at time t
| No explicit property; definition inferred by structure of actual data. For an example, see the state1 definition here. | | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
An activity is performed by an instrument
| hasInstrument (usedToPerform)
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
An activity has at least one thing as input
| hasInput
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
An activity has at least one thing as output
| hasOutput
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
A claim is a statement about a (some specific) thing
| isStatementAbout
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
A claim is expressed in a claim medium
| expressedInMedium
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
An agent enacts a role
| enacts
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
An event impacts a state
| eventImpacts (impactedByEvent)
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
A control limits or directs a thing
| hasSubject (hasControl)
| | Status |
|---|
| colour | Purple |
|---|
| title | for review |
|---|
|
| |
A claim can be substantiated by another thing
| No property yet | | |
...