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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
|
# Copyright (C) Cfengine AS
# This file is part of Cfengine 3 - written and maintained by Cfengine AS.
# This program is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by the
# Free Software Foundation; version 3.
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
# To the extent this program is licensed as part of the Enterprise
# versions of Cfengine, the applicable Commerical Open Source License
# (COSL) may apply to this file if you as a licensee so wish it. See
# included file COSL.txt.
############################################################################
#
# This is a promise/cfengine version of the Linear Topic Map language
# Topics are independent abstract entities which make "use-promise" associations.
# We can assume that all topics offer their info freely to all other topics.
#
# Documents/Occurrences lie outside of a topic map in the substrate, but this
# is where promises live. Documents can make promises about their content
# and type. These supplement the topic map.
#
############################################################################
body common control
{
any::
bundlesequence => {
"topic_map"
};
}
############################################################################
body knowledge control
{
build_directory => ".";
id_prefix => "cfengine";
}
############################################################################
bundle knowledge topic_map
{
vars:
"aliases" slist => { "deals with concepts", "is composed of" };
"linux_distros" slist => { "suse", "ubuntu", "fedora", "redhat", "debian" };
#
# This is one kind of association
#
"enemies" slist => { "big bad wolf", "own tail" };
"afraid_of[$(enemies)]" slist => { "little ole me", "little red riding hood", "three little pigs" };
###################################################
topics:
"short name" comment => "a name that is shorter than long but perhaps longer than short";
"operating system";
"distro";
"promise type";
"host";
"person";
"component";
"website";
operating_system:: # Topic Type
"linux"; # Topic name / id
"longer topic type";
distro::
"$(linux_distros)"
association => a("is distro of","linux","has distro");
host::
"atlas"
association => a("owned by","mark","owns");
person::
"mark"
association => a("designed","cfengine","was designed by");
component::
"cfengine";
###################################################
occurrences:
suse::
"http://www.opensuse.org"
represents => { "website" },
representation => "url",
# url is default?
comment => "Main site";
"yast"
represents => { "default_configuration_tool", "setup_tool" },
representation => "literal";
mark::
"mark@iu.hio.no"
represents => { "email address" },
representation => "literal";
}
###################################################
# Bodies
###################################################
body association a(f,name,b)
{
forward_relationship => "$(f)";
backward_relationship => "$(b)";
associates => { $(name) };
}
###################################################
body association A(f,name_list,b)
{
forward_relationship => "$(f)";
backward_relationship => "$(b)";
associates => { @(name) };
}
|
