Issue 17393: Generalization should be allowed to be cyclic and should no be restricted to be owned by the specialized classifier (uml2-rtf) Source: NASA (Dr. Nicolas F. Rouquette, nicolas.f.rouquette(at)jpl.nasa.gov) Nature: Uncategorized Issue Severity: Summary: Currently, UML 2.4.1 requires that: The graph of classifier generalization relationships must be acyclic See 7.3.8 Classifier [2] Generalization hierarchies must be directed and acyclical. A classifier cannot be both a transitively general and transitively specific classifier of the same classifier. This constraint probably came from the influence of programming languages on the design of the UML. This constraint is certainly useful in many domain-specific applications of the UML but it is certainly not useful across all domains. For example, in ontologies, it is common practice to use circular generalization relationships among classifiers to express their semantic equivalence; see: http://www.w3.org/TR/owl2-syntax/#Equivalent_Classes The ODM 1.0 includes this approach as an option for using the UML as a notation for OWL1 ontologies — see 14.2.5.11 in http://www.omg.org/spec/ODM/1.0/ A generalization must be owned by the specialized classifier See 7.3.20: specific: Classifier [1] References the specializing classifier in the Generalization relationship. Subsets DirectedRelationship::source and Element::owner This ownership constraint prevents using the UML where a generalization between A and B needs to be added without modifying A or B. Resolution: Revised Text: Actions taken: May 23, 2012: reeived issue Discussion: End of Annotations:===== m: "Rouquette, Nicolas F (313K)" To: "issues@omg.org" CC: "smof-ftf@omg.org" Subject: Generalization should be allowed to be cyclic and should not be restricted to be owned by the specialized classifier Thread-Topic: Generalization should be allowed to be cyclic and should not be restricted to be owned by the specialized classifier Thread-Index: AQHNOQlI5+eBdww1/0yI3tCs1SGNkA== Date: Wed, 23 May 2012 17:27:09 +0000 Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.10.0.110310 x-originating-ip: [128.149.137.114] X-Source-Sender: nicolas.f.rouquette@jpl.nasa.gov X-AUTH: Authorized Currently, UML 2.4.1 requires that: The graph of classifier generalization relationships must be acyclic See 7.3.8 Classifier [2] Generalization hierarchies must be directed and acyclical. A classifier cannot be both a transitively general and transitively specific classifier of the same classifier. This constraint probably came from the influence of programming languages on the design of the UML. This constraint is certainly useful in many domain-specific applications of the UML but it is certainly not useful across all domains. For example, in ontologies, it is common practice to use circular generalization relationships among classifiers to express their semantic equivalence; see: http://www.w3.org/TR/owl2-syntax/#Equivalent_Classes The ODM 1.0 includes this approach as an option for using the UML as a notation for OWL1 ontologies . see 14.2.5.11 in http://www.omg.org/spec/ODM/1.0/ A generalization must be owned by the specialized classifier See 7.3.20: specific: Classifier [1] References the specializing classifier in the Generalization relationship. Subsets DirectedRelationship::source and Element::owner This ownership constraint prevents using the UML where a generalization between A and B needs to be added without modifying A or B. Nicolas.