369:
43:
266:
TBox statements tend to be more permanent within a knowledge base and are used and stored as a schema or a data model. In contrast, ABox statements are much more dynamic in nature and tend to be stored as instance data within transactional systems within databases. With the newer,
148:. TBox statements are the "terminology component", and describe a domain of interest by defining classes and properties as a domain vocabulary. ABox statements are the "assertion component" — facts associated with the TBox's conceptual model or
275:) the storage distinction may no longer apply. Data and models can be stored using the same approach. However, models continue to be more permanent, have a different lifecycle and are typically stored as separate graphs within such database.
170:
ABox statements typically deal with concrete entities. They specify what category an entity belongs to, or what relation one entity has to another entity.
162:
TBox statements are sometimes associated with object-oriented classes and ABox statements associated with instances of those classes.
429:
410:
53:
111:
434:
83:
68:
90:
403:
159:
ABox statements must be TBox-compliant: they are assertions that use the vocabulary defined by the TBox.
149:
97:
340:
79:
396:
335:
201:
TBox statements typically (or definitions of domain categories and implied relations) such as:
284:
326:
294:
31:
17:
8:
318:
376:
345:
133:
104:
153:
380:
145:
384:
64:
423:
349:
272:
314:
42:
289:
152:. Together ABox and TBox statements make up a knowledge base or a
368:
212:
is not a fact you can specify, though it is a fact in real life.
268:
319:"A translation approach to portable ontology specifications"
144:
are used to describe two different types of statements in
165:
249:
place A contains place B if place B is-located-in A.
60:
271:databases and especially with RDF databases (see
421:
233:X is a place if X is-a city or X is-a country.
404:
69:introducing citations to additional sources
30:"Tbox" redirects here. For other uses, see
411:
397:
339:
59:Relevant discussion may be found on the
205:An entity X can be a country or a city
14:
422:
313:
363:
307:
166:Examples of ABox and TBox statements
36:
174:Item A is-an-instance-of Category C
24:
177:Item A has-this-relation-to Item B
25:
446:
285:Description logic § Modeling
217:A is-next-to B if B is-next-to A
367:
52:relies largely or entirely on a
41:
430:Ontology (information science)
13:
1:
300:
383:. You can help Knowledge by
210:Dagamanet is-a neighbourhood
7:
278:
197:Agadez is-located-in Niger.
10:
451:
362:
254:Agadez is-located-in Niger
29:
435:Computer science stubs
350:10.1006/knac.1993.1008
191:Niger is-next-to Chad.
327:Knowledge Acquisition
295:Web Ontology Language
258:Niger contains Agadez
226:Chad is-next-to Niger
222:Niger is-next-to Chad
32:TBOX (disambiguation)
65:improve this article
185:Niger is-a country.
27:Part of an ontology
238:Niger is-a country
392:
391:
315:Gruber, Thomas R.
194:Agadez is-a city.
188:Chad is-a country
130:
129:
115:
16:(Redirected from
442:
413:
406:
399:
377:computer science
371:
364:
354:
353:
343:
323:
311:
242:Niger is-a place
134:computer science
125:
122:
116:
114:
73:
45:
37:
21:
450:
449:
445:
444:
443:
441:
440:
439:
420:
419:
418:
417:
360:
358:
357:
341:10.1.1.101.7493
321:
312:
308:
303:
281:
168:
154:knowledge graph
146:knowledge bases
126:
120:
117:
74:
72:
58:
46:
35:
28:
23:
22:
15:
12:
11:
5:
448:
438:
437:
432:
416:
415:
408:
401:
393:
390:
389:
372:
356:
355:
334:(2): 199–220.
305:
304:
302:
299:
298:
297:
292:
287:
280:
277:
264:
263:
262:
261:
247:
246:
245:
231:
230:
229:
215:
214:
213:
199:
198:
195:
192:
189:
186:
179:
178:
175:
167:
164:
128:
127:
63:. Please help
49:
47:
40:
26:
9:
6:
4:
3:
2:
447:
436:
433:
431:
428:
427:
425:
414:
409:
407:
402:
400:
395:
394:
388:
386:
382:
379:article is a
378:
373:
370:
366:
365:
361:
351:
347:
342:
337:
333:
329:
328:
320:
317:(June 1993).
316:
310:
306:
296:
293:
291:
288:
286:
283:
282:
276:
274:
270:
259:
255:
251:
250:
248:
243:
239:
235:
234:
232:
227:
223:
219:
218:
216:
211:
207:
206:
204:
203:
202:
196:
193:
190:
187:
184:
183:
182:
176:
173:
172:
171:
163:
160:
157:
155:
151:
147:
143:
139:
135:
124:
113:
110:
106:
103:
99:
96:
92:
89:
85:
82: –
81:
77:
76:Find sources:
70:
66:
62:
56:
55:
54:single source
50:This article
48:
44:
39:
38:
33:
19:
385:expanding it
374:
359:
331:
325:
309:
265:
257:
253:
241:
237:
225:
221:
209:
200:
180:
169:
161:
158:
141:
137:
136:, the terms
131:
118:
108:
101:
94:
87:
75:
51:
273:Triplestore
424:Categories
301:References
181:Examples:
150:ontologies
121:April 2024
91:newspapers
336:CiteSeerX
61:talk page
290:Metadata
279:See also
256:implies
240:implies
224:implies
105:scholar
338:
107:
100:
93:
86:
80:"Abox"
78:
375:This
322:(PDF)
269:NoSQL
112:JSTOR
98:books
381:stub
142:ABox
140:and
138:TBox
84:news
18:Tbox
346:doi
252:So
236:So
220:So
208:So
132:In
67:by
426::
344:.
330:.
324:.
156:.
412:e
405:t
398:v
387:.
352:.
348::
332:5
260:.
244:.
228:.
123:)
119:(
109:·
102:·
95:·
88:·
71:.
57:.
34:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.