74:
53:
22:
182:
I am not an expert, but the example "All students are subclasses of
Persons" does not seem to make sense: students certainly ARE not classes, the set of students might FORM a class. Similarly, subclasses are not likely to be of Persons but of the class formed by Persons. In some contexts it might not
186:
So why not change the example to something like either: "Students are
Persons" which describes the assertion as a statement about the individuals of the involved classes or "the class of Students is a subclass of the class of Persons" which explicitly describes the class relationship.
256:
The
Assertion Box (ABox)/Terminology Box (TBox) distinction is made in Description Logics . However, KL-ONE already distinguished between these concepts: "In a sense, KL-ONE was beginning to divide into two different formalisms --- one for
268:
F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The description logic handbook: theory, implementation, and applications. Cambridge
University Press, New York, NY, USA, 2nd edition, August 2007.
298:
279:
F. Baader, I. Horrocks, and U. Sattler. Description logics. In F. van
Harmelen, V. Lifschitz, and B. Porter, editors, Handbook of Knowledge Representations, chapter 3, pages 135–179. Elsevier, 2008.
321:
289:
265:. These two parts would serve to represent the beliefs of the system and the terms out of which the belief sentences would be constructed, respectively."
132:
285:
306:"Abox" is used every where in the main article as "ABox", I mean the "B" letter is always capitalized. Can I move the article "Abox" to "ABox"?
191:
340:
122:
282:
R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive
Science, 9(2):171–216, 1985.
176:
335:
251:
98:
204:
273:
220:
166:
345:
81:
58:
226:
293:
317:
149:
33:
194:
309:
My reason is that "ABox" is used more frequently, and in the main article, the author always used it.
200:
I agree, I made the change to "All
Students are Persons" but don't have time to merge the articles.
183:
be necessary to point out these details, but in an illustrating example like here, I think it is.
97:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
313:
240:
94:
21:
39:
8:
163:
270:
201:
190:
I am also in favor of mergin the TBOX and ABOX articles and maybe also mention RBOX.
236:
216:
173:
329:
232:
212:
90:
86:
73:
52:
231:
Do "T" and "A" stand for anything? "T" might be "type" maybe?
159:
155:
85:, a collaborative effort to improve the coverage of
299:
Capitalization of "B" letter in the title of "Abox"
327:
19:
328:
79:This article is within the scope of
15:
38:It is of interest to the following
13:
14:
357:
341:Low-importance Computing articles
211:I'm performing the merge now. --
72:
51:
20:
127:This article has been rated as
107:Knowledge:WikiProject Computing
154:Could be a good idea to merge
110:Template:WikiProject Computing
1:
336:Stub-Class Computing articles
241:15:47, 13 December 2012 (UTC)
101:and see a list of open tasks.
7:
221:13:27, 30 August 2021 (UTC)
177:12:34, 9 January 2007 (UTC)
167:07:30, 3 October 2006 (UTC)
10:
362:
322:08:37, 10 March 2020 (UTC)
294:11:54, 10 April 2013 (UTC)
195:15:32, 13 April 2007 (UTC)
133:project's importance scale
248:"ABox" = Assertional Box
245:"TBox" = Terminology Box
126:
67:
46:
205:12:53, 8 June 2007 (UTC)
346:All Computing articles
95:information technology
28:This article is rated
82:WikiProject Computing
150:Merge Abox into Tbox
252:Possible references
314:Hooman Mallahzadeh
113:Computing articles
34:content assessment
147:
146:
143:
142:
139:
138:
353:
115:
114:
111:
108:
105:
76:
69:
68:
63:
55:
48:
47:
31:
25:
24:
16:
361:
360:
356:
355:
354:
352:
351:
350:
326:
325:
301:
254:
229:
152:
112:
109:
106:
103:
102:
61:
32:on Knowledge's
29:
12:
11:
5:
359:
349:
348:
343:
338:
300:
297:
253:
250:
228:
225:
224:
223:
208:
207:
180:
179:
172:Yes, I agree.
164:universimmedia
151:
148:
145:
144:
141:
140:
137:
136:
129:Low-importance
125:
119:
118:
116:
99:the discussion
77:
65:
64:
62:Low‑importance
56:
44:
43:
37:
26:
9:
6:
4:
3:
2:
358:
347:
344:
342:
339:
337:
334:
333:
331:
324:
323:
319:
315:
310:
307:
304:
296:
295:
291:
287:
283:
280:
277:
275:
274:0-521-78176-0
272:
266:
264:
260:
249:
246:
243:
242:
238:
234:
222:
218:
214:
210:
209:
206:
203:
199:
198:
197:
196:
193:
192:Johann Petrak
188:
184:
178:
175:
171:
170:
169:
168:
165:
161:
157:
134:
130:
124:
121:
120:
117:
100:
96:
92:
88:
84:
83:
78:
75:
71:
70:
66:
60:
57:
54:
50:
49:
45:
41:
35:
27:
23:
18:
17:
311:
308:
305:
302:
284:
281:
278:
267:
262:
261:and one for
258:
255:
247:
244:
230:
202:China Crisis
189:
185:
181:
153:
128:
80:
40:WikiProjects
303:Hi anyone,
263:description
227:the letters
330:Categories
286:Jochemliem
174:highlunder
162:articles.
30:Stub-class
259:assertion
104:Computing
91:computing
87:computers
59:Computing
312:Thanks,
131:on the
233:Jar354
213:Sietse
93:, and
36:scale.
318:talk
290:talk
271:ISBN
237:talk
217:talk
160:Tbox
158:and
156:Abox
276:.
123:Low
332::
320:)
292:)
239:)
219:)
89:,
316:(
288:(
235:(
215:(
135:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.