DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Potential misclassification of several classes

  • Key: DOL-5
  • Status: closed  
  • Source: Thematix Partners LLC ( Mrs. Elisa F. Kendall)
  • Summary:

    The definition of dol:OMS suggests it should be a disjoint union of dol:Ontology, dol:Specification and dol:MDEModel, while formally they are subclasses. It is not clear if dol:OMS should be considered a role, or a subclass of logical theory. Based on the note attached to OMS, which says "an OMS is a collection of expressions, like ...", I would expect that OMS is a subclass of logical theory, not a role. Therefore, dol:Ontology, dol:Specification and dol:MDEModel would not be subclasses of OMS, but roles that an OMS can play.

    (API4KB team)

  • Reported: DOL 1.0b1 — Tue, 23 Feb 2016 22:13 GMT
  • Disposition: Closed; No Change — DOL 1.0
  • Disposition Summary:

    *already covered by*

    This issue is already covered by proposal

  • Updated: Mon, 2 Apr 2018 18:07 GMT