Modified lines:  4, 47, 52, 107, 112, 132, 137
Added line:  2, 3, 4, 5, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174
Removed line:  None
Generated by diff2html
© Yves Bailly, MandrakeSoft S.A. 2001
diff2html is licensed under the GNU GPL.
  akt-original-ont       akt-refined-ont
  137 lines
3845 bytes
Last modified : Wed Aug 17 10:16:42 2005
       174 lines
5342 bytes
Last modified : Wed Aug 17 10:17:03 2005
1     1
        2
        3
        4
        5
2 (In-Package "ONTOLINGUA-USER")     6 (In-Package "ONTOLINGUA-USER")
3     7
4 ;;; Written by user Fionam from session "Session name not supplied [Tuesday, 25 January 2005, 03:10:57]" owned by group JUST-ME     8 ;;; Written by user Fionam from session "Session name not supplied [(Become-Member-Organization Refinement-Sig Research-Agent Uk-Cs-Depts School-Of-Informatics-At-Edinburgh Subscription-Fee Ontology-Refinement)(Start)]" owned by group JUST-ME
5 ;;; Date: Jan 25, 2005 10:37     9 ;;; Date: Jan 25, 2005 10:37
6 ;;; Definitions: 34     10 ;;; Definitions: 34
7     11
8     12
9 (Define-Ontology     13 (Define-Ontology
10      Sumo     14      Sumo
11      (Frame-Ontology)     15      (Frame-Ontology)
12    "This is an attempt to recreate a part of the SUMO ontology in KIF to test on the system."     16    "This is an attempt to recreate a part of the SUMO ontology in KIF to test on the system."
13    :Io-Package     17    :Io-Package
14    "ONTOLINGUA-USER")     18    "ONTOLINGUA-USER")
15     19
16     20
17 (In-Ontology (Quote AKT))     21 (In-Ontology (Quote AKT))
18     22
19     23
20 ;;; Start     24 ;;; Start
21     25
22 (Define-Individual Start (Sit-Var) "Not supplied yet.")     26 (Define-Individual Start (Sit-Var) "Not supplied yet.")
23     27
24     28
25 ;;; Pseudo-Var     29 ;;; Pseudo-Var
26     30
27 (Define-Individual Pseudo-Var (Confirmation-Number) "Not supplied yet.")     31 (Define-Individual Pseudo-Var (Confirmation-Number) "Not supplied yet.")
28     32
29     33
30 ;;; School-Of-Informatics-At-Edinburgh     34 ;;; School-Of-Informatics-At-Edinburgh
31     35
32 (Define-Individual School-Of-Informatics-At-Edinburgh (Academic-Unit) "Not supplied yet.")     36 (Define-Individual School-Of-Informatics-At-Edinburgh (Academic-Unit) "Not supplied yet.")
33     37
34     38
35 ;;; Ontology-Refinement     39 ;;; Ontology-Refinement
36     40
37 (Define-Individual Ontology-Refinement (Research-Area) "Not supplied yet.")     41 (Define-Individual Ontology-Refinement (Research-Area) "Not supplied yet.")
38     42
39     43
40 ;;; Subscription-Fee     44 ;;; Subscription-Fee
41     45
42 (Define-Individual Subscription-Fee (Fee) "Not supplied yet.")     46 (Define-Individual Subscription-Fee (Fee) "Not supplied yet.")
43     47
44     48
45 ;;; Research-Agent     49 ;;; Research-Agent
46     50
47 (Define-Frame Research-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Has-Research-Interest Research-Agent Ontology-Refinement [Start]) (Has-Subscription-Fee Research-Agent Subscription-Fee [Start]) (Member-Academic-Unit Research-Agent School-Of-Informatics-At-Edinburgh [Start])))     51 (Define-Frame Research-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent) (Has-Email-Address Hello-Email [(Become-Member-Organization Refinement-Sig Research-Agent Uk-Cs-Depts School-Of-Informatics-At-Edinburgh Subscription-Fee Ontology-Refinement)(Start)]) (Member-Organization Refinement-Sig [(Become-Member-Organization Refinement-Sig Research-Agent Uk-Cs-Depts School-Of-Informatics-At-Edinburgh Subscription-Fee Ontology-Refinement)(Start)])) :Axioms ((Has-Research-Interest Research-Agent Ontology-Refinement [(Become-Member-Organization Refinement-Sig Research-Agent Uk-Cs-Depts School-Of-Informatics-At-Edinburgh Subscription-Fee Ontology-Refinement)(Start)]) (Has-Subscription-Fee Research-Agent Subscription-Fee [(Become-Member-Organization Refinement-Sig Research-Agent Uk-Cs-Depts School-Of-Informatics-At-Edinburgh Subscription-Fee Ontology-Refinement)(Start)]) (Member-Academic-Unit Research-Agent School-Of-Informatics-At-Edinburgh Meta-Var [(Become-Member-Organization Refinement-Sig Research-Agent Uk-Cs-Depts School-Of-Informatics-At-Edinburgh Subscription-Fee Ontology-Refinement)(Start)])))
48     52
49     53
50 ;;; Refinement-Sig     54 ;;; Refinement-Sig
51     55
52 (Define-Frame Refinement-Sig :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Sig)) :Axioms ((Has-Research-Interest Refinement-Sig Ontology-Refinement [Start])))     56 (Define-Frame Refinement-Sig :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Sig)) :Axioms ((Has-Research-Interest Refinement-Sig Ontology-Refinement [(Become-Member-Organization Refinement-Sig Research-Agent Uk-Cs-Depts School-Of-Informatics-At-Edinburgh Subscription-Fee Ontology-Refinement)(Start)])))
53     57
54     58
55 ;;; Sit-Var     59 ;;; Sit-Var
56     60
57 (Define-Class Sit-Var (?X) "Not supplied yet." :Def (And (Thing ?X)))     61 (Define-Class Sit-Var (?X) "Not supplied yet." :Def (And (Thing ?X)))
58     62
59     63
60 ;;; Organization     64 ;;; Organization
61     65
62 (Define-Class Organization (?X) "Not supplied yet." :Def (And (Thing ?X)))     66 (Define-Class Organization (?X) "Not supplied yet." :Def (And (Thing ?X)))
63     67
64     68
65 ;;; Agent     69 ;;; Agent
66     70
67 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))     71 (Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X)))
68     72
69     73
70 ;;; Academic-Unit     74 ;;; Academic-Unit
71     75
72 (Define-Class Academic-Unit (?X) "Not supplied yet." :Def (And (Organization-Unit ?X)))     76 (Define-Class Academic-Unit (?X) "Not supplied yet." :Def (And (Organization-Unit ?X)))
73     77
74     78
75 ;;; Sig     79 ;;; Sig
76     80
77 (Define-Class Sig (?X) "Not supplied yet." :Def (And (Organization ?X)))     81 (Define-Class Sig (?X) "Not supplied yet." :Def (And (Organization ?X)))
78     82
79     83
80 ;;; Research-Area     84 ;;; Research-Area
81     85
82 (Define-Class Research-Area (?X) "Not supplied yet." :Def (And (Thing ?X)))     86 (Define-Class Research-Area (?X) "Not supplied yet." :Def (And (Thing ?X)))
83     87
84     88
85 ;;; Email-Address     89 ;;; Email-Address
86     90
87 (Define-Class Email-Address (?X) "Not supplied yet." :Def (And (Thing ?X)))     91 (Define-Class Email-Address (?X) "Not supplied yet." :Def (And (Thing ?X)))
88     92
89     93
90 ;;; Fee     94 ;;; Fee
91     95
92 (Define-Class Fee (?X) "Not supplied yet." :Def (And (Thing ?X)))     96 (Define-Class Fee (?X) "Not supplied yet." :Def (And (Thing ?X)))
93     97
94     98
95 ;;; Confirmation-Number     99 ;;; Confirmation-Number
96     100
97 (Define-Class Confirmation-Number (?X) "Not supplied yet." :Def (And (Thing ?X)))     101 (Define-Class Confirmation-Number (?X) "Not supplied yet." :Def (And (Thing ?X)))
98     102
99     103
100 ;;; Organization-Unit     104 ;;; Organization-Unit
101     105
102 (Define-Class Organization-Unit (?X) "Not supplied yet." :Def (And (Thing ?X)))     106 (Define-Class Organization-Unit (?X) "Not supplied yet." :Def (And (Thing ?X)))
103     107
104     108
105 ;;; Generate-Email-Address     109 ;;; Generate-Email-Address
106     110
107 (Define-Axiom Generate-Email-Address "Not supplied yet." := (=> (And (Member-Academic-Unit ?Agent ?Unit ?Sit1)) (And (Has-Email-Address ?Agent Pseudo-Var ?Sit2))))     111 (Define-Axiom Generate-Email-Address "Not supplied yet." := (=> (And (Member-Academic-Unit ?Agent ?Unit ?MetaVar ?Sit1)) (And (Has-Email-Address ?Agent Pseudo-Var ?Sit2))))
108     112
109     113
110 ;;; Become-Member-Organization     114 ;;; Become-Member-Organization
111     115
112 (Define-Axiom Become-Member-Organization "Not supplied yet." := (=> (And (Has-Research-Interest ?Sig ?Research-Area ?Sit1) (Has-Research-Interest ?Agent ?Research-Area ?Sit1) (Has-Subscription-Fee ?Agent ?Fee ?Sit1) (Member-Academic-Unit ?Agent ?Unit ?Sit1)) (And (Member-Organization ?Agent ?Sig ?Sit2))))     116 (Define-Axiom Become-Member-Organization "Not supplied yet." := (=> (And (Has-Email-Address ?Agent Pseudo-Var ?Sit1) (Has-Research-Interest ?Sig ?Research-Area ?Sit1) (Has-Research-Interest ?Agent ?Research-Area ?Sit1) (Has-Subscription-Fee ?Agent ?Fee ?Sit1) (Member-Academic-Unit ?Agent ?Unit ?MetaVar ?Sit1)) (And (Member-Organization ?Agent ?Sig ?Sit2))))
113     117
114     118
115 ;;; Has-Email-Address     119 ;;; Has-Email-Address
116     120
117 (Define-Function Has-Email-Address (?Agent ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent) (Confirmation-Number ?Value) (Sit-Var ?Situation)))     121 (Define-Function Has-Email-Address (?Agent ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent) (Confirmation-Number ?Value) (Sit-Var ?Situation)))
118     122
119     123
120 ;;; Has-Research-Interest     124 ;;; Has-Research-Interest
121     125
122 (Define-Relation Has-Research-Interest (?Thing ?Area ?Situation) "Not supplied yet." :Def (And (Thing ?Thing) (Research-Area ?Area) (Sit-Var ?Situation)))     126 (Define-Relation Has-Research-Interest (?Thing ?Area ?Situation) "Not supplied yet." :Def (And (Thing ?Thing) (Research-Area ?Area) (Sit-Var ?Situation)))
123     127
124     128
125 ;;; Has-Subscription-Fee     129 ;;; Has-Subscription-Fee
126     130
127 (Define-Relation Has-Subscription-Fee (?Agent ?Fee ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Fee ?Fee) (Sit-Var ?Situation)))     131 (Define-Relation Has-Subscription-Fee (?Agent ?Fee ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Fee ?Fee) (Sit-Var ?Situation)))
128     132
129     133
130 ;;; Member-Academic-Unit     134 ;;; Member-Academic-Unit
131     135
132 (Define-Relation Member-Academic-Unit (?Agent ?Unit ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Academic-Unit ?Unit) (Sit-Var ?Situation)))     136 (Define-Relation Member-Academic-Unit (?Agent ?Unit ?Educational-Organizational-Unit3 ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Academic-Unit ?Unit) (Educational-Organizational-Unit ?Educational-Organizational-Unit3) (Sit-Var ?Situation)))
133     137
134     138
135 ;;; Member-Organization     139 ;;; Member-Organization
136     140
137 (Define-Relation Member-Organization (?Agent ?Organization ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Organization ?Organization) (Sit-Var ?Situation)))     141
        142 (Define-Relation Member-Organization (?Agent ?Organization ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Organization ?Organization) (Sit-Var ?Situation)))
        143
        144
        145
        146
        147
        148
        149
        150
        151
        152
        153
        154
        155
        156 ;;; Educational-Organizational-Unit
        157
        158 (Define-Class Educational-Organizational-Unit (?X) :Def (And (Organization-Unit (?X)))
        159
        160
        161 ;;; Uk-Cs-Depts
        162
        163
        164 (Define-Individual Uk-Cs-Depts (Educational-Organizational-Unit) "Not supplied yet.")
        165
        166
        167
        168
        169
        170
        171
        172
        173
        174
Generated by diff2html on Wed Aug 17 10:28:16 2005
Command-line: ./diff2html akt-original-ont akt-refined-ont