Talk:Abox

Merge Abox into Tbox
Could be a good idea to merge Abox and Tbox articles. universimmedia 07:30, 3 October 2006 (UTC)
 * Yes, I agree. highlunder 12:34, 9 January 2007 (UTC)

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 be necessary to point out these details, but in an illustrating example like here, I think it is.

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.

I am also in favor of mergin the TBOX and ABOX articles and maybe also mention RBOX. Johann Petrak 15:32, 13 April 2007 (UTC)


 * I agree, I made the change to "All Students are Persons" but don't have time to merge the articles. China Crisis 12:53, 8 June 2007 (UTC)


 * I'm performing the merge now. --Sietse (talk) 13:27, 30 August 2021 (UTC)

the letters
Do "T" and "A" stand for anything? "T" might be "type" maybe? Jar354 (talk) 15:47, 13 December 2012 (UTC)

"TBox" = Terminology Box

"ABox" = Assertional Box

Possible references
The Assertion Box (ABox)/Terminology Box (TBox) distinction is made in Description Logics [1,2]. However, KL-ONE already distinguished between these concepts: "In a sense, KL-ONE was beginning to divide into two different formalisms --- one for assertion and one for description. 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." [3]

[1] 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. ISBN 0-521-78176-0.

[2] 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.

[3] R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171–216, 1985.

Jochemliem (talk) 11:54, 10 April 2013 (UTC)

Capitalization of "B" letter in the title of "Abox"
Hi anyone,

"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"?

My reason is that "ABox" is used more frequently, and in the main article, the author always used it.

Thanks, Hooman Mallahzadeh (talk) 08:37, 10 March 2020 (UTC)