DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Minor bugs in the translation from OWL to FOL

  • Key: DOL-81
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    I.5.7.2 Translation of sentences: $\top$ and $\bot$ are missing!
    I.5.7.3 Translation of models:

    $M'_\Thing$ does not make sense, because this is unsorted first-order logic.
    $\I$ has not been introduced. Sometimes, $I$ is used.
    Typo: By Induction (should be: by induction).
    As last item, add: The other cases are similar.
    The satisfaction condition holds as well. --> The satisfaction condition now follows easily.

  • Reported: DOL 1.0b1 — Thu, 10 Aug 2017 19:31 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    Minor technical corrections to OWL -> FOL translation

    We have made minor technical corrections in the mathematical definition of the translation of OWL to first-order logic. For details see diff file.

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