datalog

Datalog is a subclass of existential rules with no existential variables.

Systems

  • DLV
  • RDFox
  • Vlog

This post accepts webmentions. Do you have the URL to your post?

Otherwise, send your comment on my service.

Or interact from the fediverse with your username:

fediverse logo Share on the Fediverse