EDMC-FIBO/BE 1.0b2 FTF Avatar
  1. OMG Issue

FBEF — Correct reasoning error in Functional Entities caused by improper equivalence relations

Open Closed All
  • Key: FBEF-22
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    Pellet hangs when reasoning over the FunctionalEntities ontology, which appears to be caused by equivalences in the definitions of Business and Merchant. Relaxing these to be subclass relationships (i.e., changing them from necessary and sufficient conditions to just necessary conditions) eliminates the issue.
  • Reported: EDMC-FIBO/BE 1.0b1 — Tue, 10 Feb 2015 00:20 GMT
  • Disposition: Resolved — EDMC-FIBO/BE 1.0b2
  • Disposition Summary:

    Correct reasoning error in Functional Entities caused by improper equivalence relations

    Pellet hangs when reasoning over the FunctionalEntities ontology, which appears to be caused by equivalences in the definitions of Business and Merchant. Relaxing these to be subclass relationships (i.e., changing them from necessary and sufficient conditions to just necessary conditions) eliminates the issue. The issue corresponds to a "lint" error produced by Pellet in testing. Relaxing these to subclass relationships (i.e., changing them from a necessary and sufficient condition to just a necessary condition) eliminates the issue.
  • Updated: Wed, 8 Jul 2015 11:42 GMT
  • Attachments: