DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Minor bugs in the translation from OWL to FOL

  • Key: DOL-81
  • Status: open  
  • Source: Otto von Guericke University of Magdeburg ( 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
  • Updated: Wed, 20 Dec 2017 00:03 GMT
  • Attachments: