LCC 1.0 FTF Avatar
  1. OMG Issue

LCC_ — Equivalent class restrictions in the language representation ontology cause performance challenges

  • Key: LCC_-31
  • Status: open  
  • Source: Thematix Partners LLC ( Elisa Kendall)
  • Summary:

    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
  • Updated: Wed, 6 Sep 2017 00:03 GMT
  • Attachments: