DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — The definition for Logic in the DOL ontology is limited to monotonic logic only and should be broader

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

    Logic: the definition seems to be appropriate for monotonic logic only. That is, the satisfaction relation is defined for sentences, and then it appears to be assumed that satisfaction of a theory is based on satisfaction of all sentences in the theory. This would not be enough for, e.g. defeasible logic. So perhaps the name of this concept should be changed to MonotonicLogic, so if can be reused in external ontologies that also cover nonmonotonic logics.

  • Reported: DOL 1.0b1 — Wed, 13 Apr 2016 19:07 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    We distinguish between Logic and MonotonicLogic

    The former class Logic has been renamed to MonotonicLogic, and a class
    Logic has been added as a superclass of MonotonicLogic.
    Most object properties still have domain/range Logic. Only the
    formalises object properties has range MonotonicLogic:
    an Institution always formalises a MonotonicLogic.

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