Issue 15947: Inconsistency in is-role-of and is-category-of fact types (sbvr-rtf) Source: Ajilon (Mr. Graham Witt, ) Nature: Revision Severity: Significant Summary: One of the example fact types provided in section 11.1.5.2 under “is-role-of fact type” is “rental car plays the role ‘replacement car’ in the fact type ‘breakdown during rental has replacement car’.” with the comment that “An instance of the fact type would be a particular breakdown during a particular rental having a particular replacement car.” I have a few concerns with this: 1. some of the text in this fact type should be in verb style 2. the underlining in ‘replacement car’ should be continuous both times 3. trying to instantiate the fact type produces something like “(The car registered) ’ABC123’ plays the role ‘replacement car’ in the fact type ‘breakdown during rental has replacement car’.” if we assume that underlined strings inside single quotes are not placeholders, while “(The car registered) ’ABC123’ plays the role ‘replacement car’ in the ??? ‘Breakdown #1234 has replacement car’.” is a more reasonable fact, except that a) this involves inconsistent handling of underlined strings inside single quotes, and b) ‘Breakdown #1234 has replacement car’ is neither a fact nor a fact type. 4. from this I deduce that the example seems to be a fact about the model rather than a fact type from which facts about EU-Rent can be generated 5. to support the latter argument, the EU-Rent examples in section E.1.4 has no ‘is-role-of’ fact types but does have ‘related facts’ such as “The noun concept 'return branch' is a role that ranges over the noun concept 'branch.’”. Resolution: Revised Text: Actions taken: January 14, 2011: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 14 Jan 2011 00:18:43 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Graham Witt Employer: Ajilon mailFrom: graham.witt@ajilon.com.au Terms_Agreement: I agree Specification: SBVR Section: various FormalNumber: formal/2008-01-02 Version: 1.0 Doc_Year: 2008 Doc_Month: January Doc_Day: 02 Page: various Title: Inconsistency in is-role-of and is-category-of fact types Nature: Revision Severity: Significant CODE: 3TMw8 B1: Report Issue Description: One of the example fact types provided in section 11.1.5.2 under .is-role-of fact type. is .rental car plays the role .replacement car. in the fact type .breakdown during rental has replacement car... with the comment that .An instance of the fact type would be a particular breakdown during a particular rental having a particular replacement car.. I have a few concerns with this: 1. some of the text in this fact type should be in verb style 2. the underlining in .replacement car. should be continuous both times 3. trying to instantiate the fact type produces something like .(The car registered) .ABC123. plays the role .replacement car. in the fact type .breakdown during rental has replacement car... if we assume that underlined strings inside single quotes are not placeholders, while .(The car registered) .ABC123. plays the role .replacement car. in the ??? .Breakdown #1234 has replacement car... is a more reasonable fact, except that a) this involves inconsistent handling of underlined strings inside single quotes, and b) .Breakdown #1234 has replacement car. is neither a fact nor a fact type. 4. from this I deduce that the example seems to be a fact about the model rather than a fact type from which facts about EU-Rent can be generated 5. to support the latter argument, the EU-Rent examples in section E.1.4 has no .is-role-of. fact types but does have .related facts. such as .The noun concept 'return branch' is a role that ranges over the noun concept 'branch.... X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.2.15,1.0.148,0.0.0000 definitions=2011-02-24_08:2011-02-24,2011-02-24,1970-01-01 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 ipscore=0 suspectscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx engine=6.0.2-1012030000 definitions=main-1102240075 From: keri Subject: Re: issue 15947 -- SBVR RTF issue Date: Thu, 24 Feb 2011 09:02:50 -1000 To: sbvr-rtf@omg.org, Donald Chapin X-Mailer: Apple Mail (2.1082) Resolution write-up attached. ~ Keri On Jan 14, 2011, at 5:44 AM, Juergen Boldt wrote: > >> From: webmaster@omg.org >> Date: 14 Jan 2011 00:18:43 -0500 >> To: >> Subject: Issue/Bug Report >> >> ******************************************************************************* >> Name: Graham Witt >> Employer: Ajilon >> mailFrom: graham.witt@ajilon.com.au >> Terms_Agreement: I agree >> Specification: SBVR >> Section: various >> FormalNumber: formal/2008-01-02 >> Version: 1.0 >> Doc_Year: 2008 >> Doc_Month: January >> Doc_Day: 02 >> Page: various >> Title: Inconsistency in is-role-of and is-category-of fact types >> Nature: Revision >> Severity: Significant >> CODE: 3TMw8 >> B1: Report Issue >> >> Description: >> >> One of the example fact types provided in section 11.1.5.2 under .is-role-of fact type. is .rental car plays the role .replacement car. in the fact type .breakdown during rental has replacement car... with the comment that .An instance of the fact type would be a particular breakdown during a particular rental having a particular replacement car.. I have a few concerns with this: >> 1. some of the text in this fact type should be in verb style >> 2. the underlining in .replacement car. should be continuous both times >> 3. trying to instantiate the fact type produces something like .(The car registered) .ABC123. plays the role .replacement car. in the fact type .breakdown during rental has replacement car... if we assume that underlined strings inside single quotes are not placeholders, while .(The car registered) .ABC123. plays the role .replacement car. in the ??? .Breakdown #1234 has replacement car... is a more reasonable fact, except that a) this involves inconsistent handling of underlined strings inside single quotes, and b) .Breakdown #1234 has replacement car. is neither a fact nor a fact type. >> 4. from this I deduce that the example seems to be a fact about the model rather than a fact type from which facts about EU-Rent can be generated >> 5. to support the latter argument, the EU-Rent examples in section E.1.4 has no .is-role-of. fact types but does have .related facts. such as .The noun concept 'return branch' is a role that ranges over the noun concept 'branch.... Resolution write-up attached. ~ Keri Issue 15947.doc On Jan 14, 2011, at 5:44 AM, Juergen Boldt wrote: From: webmaster@omg.org Date: 14 Jan 2011 00:18:43 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Graham Witt Employer: Ajilon mailFrom: graham.witt@ajilon.com.au Terms_Agreement: I agree Specification: SBVR Section: various FormalNumber: formal/2008-01-02 Version: 1.0 Doc_Year: 2008 Doc_Month: January Doc_Day: 02 Page: various Title: Inconsistency in is-role-of and is-category-of fact types Nature: Revision Severity: Significant CODE: 3TMw8 B1: Report Issue Description: One of the example fact types provided in section 11.1.5.2 under .is-role-of fact type. is .rental car plays the role .replacement car. in the fact type .breakdown during rental has replacement car... with the comment that .An instance of the fact type would be a particular breakdown during a particular rental having a particular replacement car.. I have a few concerns with this: 1. some of the text in this fact type should be in verb style 2. the underlining in .replacement car. should be continuous both times 3. trying to instantiate the fact type produces something like .(The car registered) .ABC123. plays the role .replacement car. in the fact type .breakdown during rental has replacement car... if we assume that underlined strings inside single quotes are not placeholders, while .(The car registered) .ABC123. plays the role .replacement car. in the ??? .Breakdown #1234 has replacement car... is a more reasonable fact, except that a) this involves inconsistent handling of underlined strings inside single quotes, and b) .Breakdown #1234 has replacement car. is neither a fact nor a fact type. 4. from this I deduce that the example seems to be a fact about the model rather than a fact type from which facts about EU-Rent can be generated 5. to support the latter argument, the EU-Rent examples in section E.1.4 has no .is-role-of. fact types but does have .related facts. such as .The noun concept 'return branch' is a role that ranges over the noun concept 'branch.... Disposition: No Change OMG Issue No: 15947 Title: Inconsistency in is-role-of and is-category-of fact types Source: Submitted by: Graham Witt Write-up by: Keri Anderson Healy, Business Rule Solutions LLC (keri_ah@mac.com) Summary: One of the example fact types provided in section 11.1.5.2 under "is-role-of fact type" is "rental car plays the role 'replacement car' in the fact type 'breakdown during rental has replacement car'." with the comment that "An instance of the fact type would be a particular breakdown during a particular rental having a particular replacement car." I have a few concerns with this: 1. some of the text in this fact type should be in verb style 2. the underlining in 'replacement car' should be continuous both times 3. trying to instantiate the fact type produces something like "(The car registered) 'ABC123' plays the role 'replacement car' in the fact type 'breakdown during rental has replacement car'." if we assume that underlined strings inside single quotes are not placeholders, while "(The car registered) 'ABC123' plays the role 'replacement car' in the ??? 'Breakdown #1234 has replacement car'." is a more reasonable fact, except that a) this involves inconsistent handling of underlined strings inside single quotes, and b) 'Breakdown #1234 has replacement car' is neither a fact nor a fact type. 4. from this I deduce that the example seems to be a fact about the model rather than a fact type from which facts about EU-Rent can be generated 5. to support the latter argument, the EU-Rent examples in section E.1.4 has no 'is-role-of' fact types but does have 'related facts' such as "The noun concept 'return branch' is a role that ranges over the noun concept 'branch.'". Resolution: "Is-role-of fact type" was revised as part of the Resolution of Issue 13716. The Example in question (for the concept 'is-role-of proposition') is now worded: Example: The general concept 'rental car' plays the role 'replacement car' in the situation of a breakdown during a rental. For the concerns specifically listed: 1. This Example applies the conventions used for an Example clause, i.e., verbs do not have any special styling in examples. 2. The underlining was corrected to be continuous. 3. This concept is no longer a kind of fact type so this point is no longer applicable. 4. This concept is now a kind of proposition (fact about the model). 5. The examples in Annex E are being revised to reflect changes made under Issue 13716 (et al). Note: The title of this issue also mentions "is-category-of fact type" but nothing on this was included in the issue detail. In any case, "is-category-of fact type" was also revised as part of the Resolution of Issue 13716. Revised Text: None needed. Disposition: No Change X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.2.15,1.0.148,0.0.0000 definitions=2011-03-03_06:2011-03-03,2011-03-03,1970-01-01 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 ipscore=0 suspectscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx engine=6.0.2-1012030000 definitions=main-1103030110 From: keri Subject: Re: issue 15947 -- SBVR RTF issue Date: Thu, 03 Mar 2011 08:11:23 -1000 To: sbvr-rtf@omg.org, Donald Chapin X-Mailer: Apple Mail (2.1082) Revised (v.2) Resolution per today's meeting discussion is attached. (Thanks to Don!) ~ Keri On Feb 24, 2011, at 9:02 AM, keri wrote: > Resolution write-up attached. ~ Keri > > > > On Jan 14, 2011, at 5:44 AM, Juergen Boldt wrote: >> >>> From: webmaster@omg.org >>> Date: 14 Jan 2011 00:18:43 -0500 >>> To: >>> Subject: Issue/Bug Report >>> >>> ******************************************************************************* >>> Name: Graham Witt >>> Employer: Ajilon >>> mailFrom: graham.witt@ajilon.com.au >>> Terms_Agreement: I agree >>> Specification: SBVR >>> Section: various >>> FormalNumber: formal/2008-01-02 >>> Version: 1.0 >>> Doc_Year: 2008 >>> Doc_Month: January >>> Doc_Day: 02 >>> Page: various >>> Title: Inconsistency in is-role-of and is-category-of fact types >>> Nature: Revision >>> Severity: Significant >>> CODE: 3TMw8 >>> B1: Report Issue >>> >>> Description: >>> >>> One of the example fact types provided in section 11.1.5.2 under .is-role-of fact type. is .rental car plays the role .replacement car. in the fact type .breakdown during rental has replacement car... with the comment that .An instance of the fact type would be a particular breakdown during a particular rental having a particular replacement car.. I have a few concerns with this: >>> 1. some of the text in this fact type should be in verb style >>> 2. the underlining in .replacement car. should be continuous both times >>> 3. trying to instantiate the fact type produces something like .(The car registered) .ABC123. plays the role .replacement car. in the fact type .breakdown during rental has replacement car... if we assume that underlined strings inside single quotes are not placeholders, while .(The car registered) .ABC123. plays the role .replacement car. in the ??? .Breakdown #1234 has replacement car... is a more reasonable fact, except that a) this involves inconsistent handling of underlined strings inside single quotes, and b) .Breakdown #1234 has replacement car. is neither a fact nor a fact type. >>> 4. from this I deduce that the example seems to be a fact about the model rather than a fact type from which facts about EU-Rent can be generated >>> 5. to support the latter argument, the EU-Rent examples in section E.1.4 has no .is-role-of. fact types but does have .related facts. such as .The noun concept 'return branch' is a role that ranges over the noun concept 'branch.... > Revised (v.2) Resolution per today's meeting discussion is attached. (Thanks to Don!) ~ Keri Issue 15947-RESOLUTION(v2).doc On Feb 24, 2011, at 9:02 AM, keri wrote: Resolution write-up attached. ~ Keri On Jan 14, 2011, at 5:44 AM, Juergen Boldt wrote: From: webmaster@omg.org Date: 14 Jan 2011 00:18:43 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Graham Witt Employer: Ajilon mailFrom: graham.witt@ajilon.com.au Terms_Agreement: I agree Specification: SBVR Section: various FormalNumber: formal/2008-01-02 Version: 1.0 Doc_Year: 2008 Doc_Month: January Doc_Day: 02 Page: various Title: Inconsistency in is-role-of and is-category-of fact types Nature: Revision Severity: Significant CODE: 3TMw8 B1: Report Issue Description: One of the example fact types provided in section 11.1.5.2 under .is-role-of fact type. is .rental car plays the role .replacement car. in the fact type .breakdown during rental has replacement car... with the comment that .An instance of the fact type would be a particular breakdown during a particular rental having a particular replacement car.. I have a few concerns with this: 1. some of the text in this fact type should be in verb style 2. the underlining in .replacement car. should be continuous both times 3. trying to instantiate the fact type produces something like .(The car registered) .ABC123. plays the role .replacement car. in the fact type .breakdown during rental has replacement car... if we assume that underlined strings inside single quotes are not placeholders, while .(The car registered) .ABC123. plays the role .replacement car. in the ??? .Breakdown #1234 has replacement car... is a more reasonable fact, except that a) this involves inconsistent handling of underlined strings inside single quotes, and b) .Breakdown #1234 has replacement car. is neither a fact nor a fact type. 4. from this I deduce that the example seems to be a fact about the model rather than a fact type from which facts about EU-Rent can be generated 5. to support the latter argument, the EU-Rent examples in section E.1.4 has no .is-role-of. fact types but does have .related facts. such as .The noun concept 'return branch' is a role that ranges over the noun concept 'branch.... Disposition: Resolved OMG Issue No: 15947 Title: Inconsistency in is-role-of and is-category-of fact types Source: Submitted by: Graham Witt Write-up by: Keri Anderson Healy, Business Rule Solutions LLC (keri_ah@mac.com) Summary: One of the example fact types provided in section 11.1.5.2 under "is-role-of fact type" is "rental car plays the role 'replacement car' in the fact type 'breakdown during rental has replacement car'." with the comment that "An instance of the fact type would be a particular breakdown during a particular rental having a particular replacement car." I have a few concerns with this: 1. some of the text in this fact type should be in verb style 2. the underlining in 'replacement car' should be continuous both times 3. trying to instantiate the fact type produces something like "(The car registered) 'ABC123' plays the role 'replacement car' in the fact type 'breakdown during rental has replacement car'." if we assume that underlined strings inside single quotes are not placeholders, while "(The car registered) 'ABC123' plays the role 'replacement car' in the ??? 'Breakdown #1234 has replacement car'." is a more reasonable fact, except that a) this involves inconsistent handling of underlined strings inside single quotes, and b) 'Breakdown #1234 has replacement car' is neither a fact nor a fact type. 4. from this I deduce that the example seems to be a fact about the model rather than a fact type from which facts about EU-Rent can be generated 5. to support the latter argument, the EU-Rent examples in section E.1.4 has no 'is-role-of' fact types but does have 'related facts' such as "The noun concept 'return branch' is a role that ranges over the noun concept 'branch.'". Resolution: "Is-role-of fact type" was revised as part of the Resolution of Issue 13716. Discussion of this issue identified some changes needed in the wording of the examples. (Details below.) For the concerns specifically stated in the issue Summary: 1. This Example applies the conventions used for an Example clause, i.e., verbs do not have any special styling in examples. 2. The underlining was corrected to be continuous. 3. This concept is no longer a kind of fact type so this point is no longer applicable. 4. This concept is now a kind of proposition (fact about the model). 5. The examples in Annex E are being revised to reflect changes made under Issue 13716 (et al). Note: The title of this issue also mentions "is-category-of fact type" but nothing on this was included in the issue detail. In any case, "is-category-of fact type" was also revised as part of the Resolution of Issue 13716. Revised Text: The change below overwrites a change made in the resolution of issue 13716. On page 146, in the entry for is-role-of proposition, which was called is-role-of fact type before the resolution to issue 13716, REPLACE the two Examples with: Example: The role .replacement car. in the situation of a breakdown during a rental ranges over the general concept .rental car.. Example: The role .pick-up branch. in the situation of a rental ranges over the general concept .branch.. Disposition: Resolved.