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

Arndt, DortheDortheArndtSchrijvers, TomTomSchrijversDe Roo, J.J.De RooVerborgh, RubenRubenVerborgh2021-10-272021-10-272019-101570-8268https://imec-publications.be/handle/20.500.12860/32457Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 LogicJournal articlehttps://doi.org/10.1016/j.websem.2019.04.001