|WikiProject Computing||(Rated Stub-class, Low-importance)|
- 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)
"TBox" = Terminology Box
"ABox" = Assertional Box
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." 
 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.
 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.
 R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171–216, 1985.