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]

@article{ArndtSRV19,
  title = {Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic},
  author = {Dörthe Arndt and Tom Schrijvers and Jos De Roo and Ruben Verborgh},
  year = {2019},
  doi = {10.1016/j.websem.2019.04.001},
  url = {https://doi.org/10.1016/j.websem.2019.04.001},
  researchr = {https://researchr.org/publication/ArndtSRV19},
  cites = {0},
  citedby = {0},
  journal = {J. Web Sem.},
  volume = {58},
}