Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic

Dörthe Arndt, Tom Schrijvers, Jos De Roo, Ruben Verborgh. Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic. J. Web Sem., 58, 2019. [doi]

Abstract

Abstract is missing.