In Proc. of DL'98, pages 87-89, 1998. A concept language for engineering applications with part-whole relations. A concept language extended with different kinds of transitive roles. Reasoning with individuals in concept languages. In Proceedings of the International Workshop on Terminological Logics, pages 101-104, Dagstuhl, 1991.
Axioms are objects, too - ontology engineering beyond the modeling of concepts and relations.
Technical Report 399, AIFB, Karlsruhe University, 2000. Abox reasoning with transitive roles and axioms. In Proc. of DL'99, 1999. W3C Working draft. G. van Heijst, A. Th.