Source: Thematix Partners LLC ( Elisa Kendall)
A modification made by LCC-24 changed certain restrictions on specific language identifiers from subclass (necessary) restrictions to equivalent class (necessary and sufficient) restrictions. While the change was semantically correct, it introduced unintended performance challenges in reasoning by blowing up the search space.
A compromise determined by the FTF is to relax those restrictions back to subclass restrictions, but retain the other changes made by the resolution to LCC-24.
Reported: LCC 1.0b1 — Thu, 31 Aug 2017 18:21 GMT
Disposition: Resolved — LCC 1.0
Equivalent class restrictions in the language representation ontology cause performance challenges
The resolution to this issue affects clause 8.3, Ontology: Language Representation, and depends on the resolution to issues LCC-14 and LCC-24.
The modification to the model includes reversing the change to the restrictions on Individual, Macrolanguage, Language Group and Special Purpose identifiers made by LCC-24 to state that the classes are equivalent to identifying the appropriate classes of languages rather than subclasses of classes that identify the relevant languages.
Updated: Tue, 19 Dec 2017 20:01 GMT
- 10. Collective Language and Special Purpose Codes.svg 505 kB (image/svg+xml)
- 3. Identifier and Code Class Hierarchy.svg 572 kB (image/svg+xml)
- 9. Individual and Macrolanguage Identifiers.svg 489 kB (image/svg+xml)
- resolution_LCC-31.doc 143 kB (application/msword)
LCC_ — Equivalent class restrictions in the language representation ontology cause performance challenges
- Key: LCC_-31
- OMG Task Force: 2nd Languages, Countries and Codes 1.0 FTF