ABox

An ABox (Assertion Box) is a component of knowledge representation systems that contains specific facts about individual objects or entities within a domain. For example, in a database about animals, the ABox might include statements like "Tina is a cat" or "Fido is a dog." It complements the TBox, which defines general concepts and relationships. Together, they help computers understand and reason about specific data, enabling tasks like answering questions or verifying consistency based on individual instances and their attributes.