...
Our ontology currently comprises 15 classes and 15 axioms.
Classes
- thing
- agent
- role
- owner
- operator
- claimant
- auditor
- environment
- parameter
- state
- activity
- instrument
- procedure
- standard
- claim
Axioms
1. An agent engages in an activity.
2. An activity impacts an environment.
3. An environment is defined by (interrelated) parameters.
4. A state is the value of a parameter P at time t.
5. A procedure guides an activity.
6. An activity is performed with an instrument.
7. An activity has at least one input.
8. An activity has at least one output.
9. A claim is a statement about a (some specific) thing.
10. A standard guides a claim.
11. An agent enacts a role.
12. An owner (role) is an agent who owns some specific thing.
13. An operator (role) is an agent who operates some specific instrument.
14. A claimant (role) is an agent who makes a claim.
15. An auditor (role) is an agent who audits a claim.
...