FBEF — Potential reasoning error in Corporate Bodies caused by equivalence

Pellet hangs when reasoning over the Corporate Bodies ontology, which appears to be caused by the equivalence in the definition of BodyCorporate to being constituted by an instrument of incorporation. The issue corresponds to a "lint" error produced by Pellet in testing. Relaxing this to a subclass relationship (i.e., changing it from a necessary and sufficient condition to just a necessary condition) eliminates the issue.

Potential reasoning error in Corporate Bodies caused by equivalence

Pellet hangs when reasoning over the Corporate Bodies ontology, which appears to be caused by the equivalence in the definition of BodyCorporate to being constituted by an instrument of incorporation. The issue corresponds to a "lint" error produced by Pellet in testing. Relaxing this to a subclass relationship (i.e., changing it from a necessary and sufficient condition to just a necessary condition) eliminates the issue.

This issue affects section 9.2.3, CorporateBodies Ontology, in the FIBO BE 1.0 Alpha specification.

• • • The resolution of this issue assumes that the resolution to issue FBEF-3, resolving mechanical syntax issues, and the resolution to FBEF-6, which addressed the migration from isDomiciledIn from BE to FND, have already been applied, FBEF-3, first, followed by FBEF-6.

In addition to correcting ”lint” issue, this resolution addresses the renaming of JudicialPerson in LegalPersons, as a part of issue resolution to FBEF-20, to JuridicalPerson.