In this title, the author develops an object-centered framework with specialized support of the part-of relation based on description logics. These logics are a family of object-cetered knowledge representation languages tailored for describing knowledge about concepts.