RDF-star Semantics TF

• Past
• Tentative

• keep discussion on open issues and PR in RDF-semantics
• particular attention to:
  • Define an interpretation of Triple Terms
  • Check if the interpolation lemma is still true given the new semantics
  • Prove that the fact that mapping RE is total and injective does not lead to problems

Export options

Personal Links

Please log in to export this event with all the information you have access to.

Public Links

The following links do not contain any sensitive information and can be shared publicly.

• Download this event as ics
• Download all events in the series as ics