1. OMG Issue

FIBOFTF2 — Conformance point for extension may be too open

  • Key: FIBOFTF2-19
  • Legacy Issue Number: 19601
  • Status: closed  
  • Source: Citi ( Dr. Ian Maung)
  • Summary:

    The wording of the conformance criteria for FIBO extensions seems to allow for importing the FIBO ontology and introducing new axioms that can significantly change (by narrowing) the intended meaning of the imported FIBO elements. Please consider whether the wording could be revised from being merely logically consistent to being a conservative extension of the imported FIBO elements.


    In ontology engineering, ontology modules are based on conservative extension:


  • Reported: EDMC-FIBO/FND 1.0b1 — Wed, 17 Sep 2014 04:00 GMT
  • Disposition: Resolved — EDMC-FIBO/FND 1.0
  • Disposition Summary:

    In addition to being logically consistent, a conformant FIBO extension must be a conservative extension of each FIBO ontology that it imports.

    Currently FIBO has no limits on extensions to its existing ontologies. The intention of this new paragraph is to insure that every conferment FIBO extension is a conservative extension.

  • Updated: Tue, 21 Apr 2015 01:18 GMT