Talk:Abox

This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Computing Low‑importance This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing articles Low This article has been rated as Low-importance on the project's importance scale.

Could be a good idea to merge

• Yes, I agree. highlunder 12:34, 9 January 2007 (UTC)[reply]

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)[reply]

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)[reply]

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

the letters

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

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

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

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)[reply]