Roles and Dynamic Subclasses: A Modal Logic Approach

摘要: In this paper, we argue that object-oriented models must be able to represent three kinds of taxonomic structures: static subclasses, dynamic subclasses and role classes. If CAR is a subclass VEHICLE, then vehicle not car can never migrate the subclass. EMPloyee PERSON, PERSON an employee may EMP. both cases, instance identical superclass. Finally, if EMP modeled as class every differs from person, but acquire one or more instances roles. We outline approach formalizing these structures in order-sorted logic with equality.