TBoxes and ABoxes

TBoxes and ABoxes are concepts from knowledge representation used in description logic and ontologies. A TBox (Terminology Box) defines the structure, vocabulary, and general concepts of a domain—like setting the rules, categories, and relationships. An ABox (Assertion Box), on the other hand, contains specific facts about individual entities within that structure—such as stating that "Alice is a student" or "the car is red." Essentially, the TBox provides the blueprint, while the ABox documents actual instances and data adhering to that blueprint.