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]

Authors

Dörthe Arndt

This author has not been identified. Look up 'Dörthe Arndt' in Google

Tom Schrijvers

This author has not been identified. It may be one of the following persons: Look up 'Tom Schrijvers' in Google

Jos De Roo

This author has not been identified. Look up 'Jos De Roo' in Google

Ruben Verborgh

This author has not been identified. Look up 'Ruben Verborgh' in Google