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: open  
  • Source: Thematix Partners LLC ( Elisa 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
  • Updated: Sun, 20 Aug 2017 00:27 GMT
  • Attachments: