Notation3 Logic: From informal to formal semantics

From International Center for Computational Logic

Notation3 Logic: From informal to formal semantics

Talk by Dörthe Arndt
  • Location: Online
  • Start: 30. July 2020 at 1:00 pm
  • End: 30. July 2020 at 2:30 pm
  • Event series: KBS Seminar
  • iCal
Notation3 Logic is a rule-based extension of RDF. Since its invention, the logic has been refined and applied in several reasoning engines like for example EYE, Cwm and FuXi. But despite these developments, a clear formal definition of Notation3’s semantics is still missing and the details of the logic are only defined in an informal way. This lack of formalisation does not only cause theoretical problems - the relationship to other logics cannot be investigated - it also has practical consequences: in many cases the interpretations of the same formula differ between reasoning engines. In this talk, I will explain these differences and discuss how the formal semantics of the logic can be defined based on the informal specifications and the implementations.


This talk will be held online. If there is any interest in attending, please send an e-mail to thomas.feller@tu-dresden.de.