Issue 19071: Qualified Restrictions In Metamodel (odm-rtf) Source: Adaptive (Mr. Pete Rivett, pete.rivett(at)adaptive.com) Nature: Uncategorized Issue Severity: Minor Summary: The resolution to 12563 documented how to represent qualified Restrictions as added to OWL 2, using the UML Profile: the metamodel needs to be extended to provide an equivalent level of coverage. Resolution: see pqges 197 - 202 of ptc/2013-12-01 for details Revised Text: Actions taken: November 8, 2013: received issue April 25, 2014: closed issue Discussion: Representation of restrictions on properties was revised extensively for the profile via the resolution to 12563, and is required for development of emerging standards such as the Information Exchange Policy Vocabulary and Financial Industry Business Ontology families. The resolution, below, revises the OWL 2 metamodel and makes minor revisions to the profile based on usage experience in support of these capabilities. The primary aspects to be addressed in the metamodel are as follows: - Addition of hasSelf restriction at OWL2 - Use of integers rather than Literals to express cardinality of restrictions - Addition of qualified cardinality restrictions at OWL2 - Use of DataRange rather than Enumeration for Data All/SomeValuesFrom - The introduction of ClassExpression rather than Class in restrictions For organizational purposes, Restrictions are important enough to have their own subsection This resolution incorporates changes to address 16031 (ownership of Literals). A lot of this is addressed by the second bullet above, only leaving HasValueRestriction. Note that application of this resolution requires that the resolution to issue 12563 is applied first. End of Annotations:===== m: Pete Rivett To: "issues@omg.org" CC: "Elisa Kendall (ekendall@thematix.com)" Subject: Issues on ODM 1.0 (needed for resolutions to complete RTF: please provide issue numbers ASAP) Thread-Topic: Issues on ODM 1.0 (needed for resolutions to complete RTF: please provide issue numbers ASAP) Thread-Index: Ac7cHEcVQycaA784SSezaeIHJsT59Q== Date: Fri, 8 Nov 2013 00:48:53 +0000 Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [68.106.72.218] X-Virus-Scanned: amavisd-new at omg.org Qualified Restrictions In Metamodel The resolution to 12563 documented how to represent qualified Restrictions as added to OWL 2, using the UML Profile: the metamodel needs to be extended to provide an equivalent level of coverage. Date: Mon, 11 Nov 2013 07:44:32 -0800 From: Elisa Kendall Organization: Thematix Partners LLC User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.1.0 To: Pete Rivett , "odm-rtf@omg.org" Subject: Re: Draft resolution to issue 19701 X-Virus-Scanned: amavisd-new at omg.org This draft excludes changes made in the profile to simplify the qualified cardinality constraints from the prior resolution. Please review the attached draft rather than the one Pete sent out earlier. Thanks, Elisa On 11/11/2013 4:44 AM, Pete Rivett wrote: This makes important changes to bring the metamodel up to speed with OWL2 and changes already made in the Profile. Pete resolution_19071c.doc resolution_19071c.doc From: "Rouquette, Nicolas F (313D)" To: Elisa Kendall , Pete Rivett , "odm-rtf@omg.org" Subject: Re: Draft resolution to issue 19701 Thread-Topic: Draft resolution to issue 19701 Thread-Index: Ac7e27gXNVnAyLjXTP2jqKfCoMqQXgAXEAQA//+AcYA= Date: Mon, 11 Nov 2013 16:08:00 +0000 Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.3.4.130416 x-originating-ip: [128.149.137.113] X-Source-Sender: nicolas.f.rouquette@jpl.nasa.gov X-AUTH: Authorized X-Virus-Scanned: amavisd-new at omg.org Looks fine; except the example at the end. If I understand the replacement of Fig 14.23, the parts of a FloweringPlantType are Blooms (whose color characteristic is BloomColor). Would BloomPlantType be acceptable as the name of FloweringPlantType? I suggest including the OWL2 for this example in the resolution. - Nicolas. From: Elisa Kendall Organization: Thematix Partners LLC Date: Monday, November 11, 2013 7:44 AM To: Pete Adaptive , "odm-rtf@omg.org" Subject: Re: Draft resolution to issue 19701 This draft excludes changes made in the profile to simplify the qualified cardinality constraints from the prior resolution. Please review the attached draft rather than the one Pete sent out earlier. Thanks, Elisa On 11/11/2013 4:44 AM, Pete Rivett wrote: This makes important changes to bring the metamodel up to speed with OWL2 and changes already made in the Profile. Pete From: "Wartik, Steven P \"Steve\"" To: Pete Rivett , "Elisa Kendall (ekendall@thematix.com)" , "odm-rtf@omg.org" Date: Mon, 11 Nov 2013 11:48:22 -0500 Subject: RE: Draft resolution to issue 19701 Thread-Topic: Draft resolution to issue 19701 Thread-Index: Ac7e27gXNVnAyLjXTP2jqKfCoMqQXgAIC/6Q Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US X-Virus-Scanned: amavisd-new at omg.org Pete, Regarding your constraint in Section 18: The onProperty domain and range must be the same Is that correct? I thought the implication in OWL was that if you assert: ObjectHasSelf( property ) then a reasoner can infer that the domain and range of property are equivalent class expressions. But that doesn.t mean an ontology has to assert the equivalence. A constraint that must hold (which, if you are correct, your constraint implies) is a self-assertion can only be applied to an object property. Steve From: Pete Rivett [mailto:pete.rivett@adaptive.com] Sent: Monday, November 11, 2013 7:44 AM To: Elisa Kendall (ekendall@thematix.com); odm-rtf@omg.org Subject: Draft resolution to issue 19701 This makes important changes to bring the metamodel up to speed with OWL2 and changes already made in the Profile. Pete From: Pete Rivett To: Elisa Kendall , "odm-rtf@omg.org" Subject: RE: Draft resolution to issue 19701 Thread-Topic: Draft resolution to issue 19701 Thread-Index: Ac7e27gXNVnAyLjXTP2jqKfCoMqQXgAXEAQAAA5teyA= Date: Mon, 11 Nov 2013 16:54:44 +0000 Accept-Language: en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: x-originating-ip: [68.231.194.190] X-Virus-Scanned: amavisd-new at omg.org Sorry that was an editing error . this resolution should not have included any profile changes since they.ve already been balloted. I started with the profile resolution in case I needed to copy and paste, then forgot to delete it. Attached is what I intended. Pete From: Elisa Kendall [mailto:ekendall@thematix.com] Sent: Monday, November 11, 2013 7:45 AM To: Pete Rivett; odm-rtf@omg.org Subject: Re: Draft resolution to issue 19701 This draft excludes changes made in the profile to simplify the qualified cardinality constraints from the prior resolution. Please review the attached draft rather than the one Pete sent out earlier. Thanks, Elisa On 11/11/2013 4:44 AM, Pete Rivett wrote: This makes important changes to bring the metamodel up to speed with OWL2 and changes already made in the Profile. Pete resolution_19071d.doc resolution_19071d.doc Date: Mon, 11 Nov 2013 09:02:42 -0800 From: Elisa Kendall Organization: Thematix Partners LLC User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.1.0 To: "Rouquette, Nicolas F (313D)" , Pete Rivett , "odm-rtf@omg.org" Subject: Re: Draft resolution to issue 19701 X-Virus-Scanned: amavisd-new at omg.org Hi Nicolas, The only difference between this figure and the one that was included in the earlier resolution is simplification of the representation of the qualified cardinality restriction in the restriction box. The OWL is already in the prior resolution, and doesn't need to change here. We can submit another issue to revise the example as needed in the next RTF to make more sense, but I didn't want to have to also change the OWL and regenerate it at this point, if that's ok with you. Thanks, though, I agree we should fix the example at some point from a naming convention perspective. Elisa On 11/11/2013 8:08 AM, Rouquette, Nicolas F (313D) wrote: Looks fine; except the example at the end. If I understand the replacement of Fig 14.23, the parts of a FloweringPlantType are Blooms (whose color characteristic is BloomColor). Would BloomPlantType be acceptable as the name of FloweringPlantType? I suggest including the OWL2 for this example in the resolution. - Nicolas. From: Elisa Kendall Organization: Thematix Partners LLC Date: Monday, November 11, 2013 7:44 AM To: Pete Adaptive , "odm-rtf@omg.org" Subject: Re: Draft resolution to issue 19701 This draft excludes changes made in the profile to simplify the qualified cardinality constraints from the prior resolution. Please review the attached draft rather than the one Pete sent out earlier. Thanks, Elisa On 11/11/2013 4:44 AM, Pete Rivett wrote: This makes important changes to bring the metamodel up to speed with OWL2 and changes already made in the Profile. Pete From: Pete Rivett To: Elisa Kendall , "odm-rtf@omg.org" Subject: RE: Draft resolution to issue 19701 Thread-Topic: Draft resolution to issue 19701 Thread-Index: Ac7e27gXNVnAyLjXTP2jqKfCoMqQXgAXEAQAAA5teyAAGmanEA== Date: Mon, 11 Nov 2013 18:09:52 +0000 Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [68.231.194.190] X-Virus-Scanned: amavisd-new at omg.org Ignore that last - it was not my editing error but Elisa adding a correction to the earlier balloted resolution. So please go with her version 19071c.doc. Pete From: Pete Rivett [mailto:pete.rivett@adaptive.com] Sent: Monday, November 11, 2013 8:55 AM To: Elisa Kendall; odm-rtf@omg.org Subject: RE: Draft resolution to issue 19701 Sorry that was an editing error . this resolution should not have included any profile changes since they.ve already been balloted. I started with the profile resolution in case I needed to copy and paste, then forgot to delete it. Attached is what I intended. Pete From: Elisa Kendall [mailto:ekendall@thematix.com] Sent: Monday, November 11, 2013 7:45 AM To: Pete Rivett; odm-rtf@omg.org Subject: Re: Draft resolution to issue 19701 This draft excludes changes made in the profile to simplify the qualified cardinality constraints from the prior resolution. Please review the attached draft rather than the one Pete sent out earlier. Thanks, Elisa On 11/11/2013 4:44 AM, Pete Rivett wrote: This makes important changes to bring the metamodel up to speed with OWL2 and changes already made in the Profile. Pete X-Mailer: QUALCOMM Windows Eudora Version 7.1.0.9 Date: Mon, 11 Nov 2013 13:33:13 -0500 To: Pete Rivett , "Elisa Kendall (ekendall@thematix.com)" , "odm-rtf@omg.org" From: Juergen Boldt Subject: Re: Draft resolution to issue 19701 X-Virus-Scanned: amavisd-new at omg.org all...I think this is issue # 19071 -Juergen At 07:44 AM 11/11/2013, Pete Rivett wrote: This makes important changes to bring the metamodel up to speed with OWL2 and changes already made in the Profile. Pete Juergen Boldt Director, Member Services 109 Highland Ave Needham, MA 02494 USA Tel: 781 444 0404 x 132 fax: 781 444 0320 www.omg.org []