Notation3 Logic: From informal to formal semantics
Aus International Center for Computational Logic
Notation3 Logic: From informal to formal semantics
Vortrag von Dörthe Arndt
- Veranstaltungsort: online
- Beginn: 30. Juli 2020 um 13:00
- Ende: 30. Juli 2020 um 14:30
- 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.
