I like idea behind ABox and TBox terminology, in trying to identify that all things are knowledge – be it a class instance or a class definition. They are just different types of knowledge that make up a knowledge base:
“Tbox statements are sometimes associated with object-oriented classes and Abox statements associated with instances of those classes.
TBox statements tend to be more permanent within a knowledge base and tend to be stored in a data model or a metadata registry. In contrast, ABox statements are much more dynamic in nature and tend to be stored as instance data within transactional systems within relational databases.”
What I’m wondering is where other types of knowledge fit within this terminology, such as your rules and processes. Are they TBox too?