-
Notifications
You must be signed in to change notification settings - Fork 6
/
AGENTS.sadl
44 lines (35 loc) · 1.67 KB
/
AGENTS.sadl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
/* Copyright (c) 2020, General Electric Company, Galois, Inc.
*
* All Rights Reserved
*
* This material is based upon work supported by the Defense Advanced Research
* Projects Agency (DARPA) under Contract No. FA8750-20-C-0203.
*
* Any opinions, findings and conclusions or recommendations expressed in this
* material are those of the author(s) and do not necessarily reflect the views
* of the Defense Advanced Research Projects Agency (DARPA).
*/
/******* URIs and imports ***************/
uri "http://arcos.rack/AGENTS" alias Ag.
import "http://arcos.rack/PROV-S".
/************** edit history *****************
*
* dwa - 11 Nov 2020 - reduced cardinality of 'employedBy' to 1, because N seems ill-defined or unnecessary
* dwa - 11 Nov 2020 - removed 'name' as a string property because it was pushed down into the AGENT base class - see edit in PROV-S.sadl
* dwa - 11 Nov 2020 - added 'version' as a string property for TOOL agents
*/
ORGANIZATION
(note "An organization is a social or legal institution such as a company, society, etc.")
is a type of AGENT.
PERSON (note "Person agents are people - alias for User")
is a type of AGENT.
emailAddress (note "Email address of person")
describes PERSON with values of type string.
employedBy (note "Relates people to the company they were acting on behalf of.")
describes PERSON with at most one value of type AGENT.
employedBy is a type of actedOnBehalfOf.
TOOL
(note "An aid (software, hardware, etc) that automates the performance of an activity.")
is a type of AGENT.
toolVersion (note "The release version of the tool") describes TOOL with values of type string.
toolVersion describes TOOL with at most 1 value.