Basing RDFn model-theoretic semantics on Singleton Properties

Hi,


just an idea. RDFn and Singleton Properties seem to share some important properties. They both:

- identify individual occurrences 
   (like RDF standard reification and unlike RDF-star, which refers to types)

- provide identifiers as the sole way to address those occurrences

- unmistakeably tie the identifier to a specific occurrence 
   (unlike RDF standard reification, or RDF-star even)

So RDFn might be understood as syntactic sugar for Singleton Properties, circumventing some of the complications that prevented wider adoption of the Singleton Properties approach in practice. This interpretation might make it easier to define a semantics for RDFn, as Singleton Properties don’t modify the abstract syntax of RDF. 

Vinh Nguyen published several works on Singleton Properties and they come with slightly different semantics. Still they might be worth a closer look by some people that are versed in model theory, especially [0]. Or maybe NdProperties [1] is a better fit?


Best,
Thomas



[0] Vinh Nguyen and Amit P. Sheth. “Logical Inferences with Contexts of RDF Triples”. In: CoRR (2017). url: http://arxiv.org/abs/1701.05724
[1] José M. Giménez-García and Antoine Zimmermann. “NdProperties: Encoding Contexts in RDF predicates with Inference Preservation”. In: Joint Proceedings of the International Workshops on Contextualized Knowledge Graphs, and Semantic Statistics co-located with 17th International Semantic Web Conference (ISWC 2018). 2018. url: http://ceur-ws.org/Vol-2317/article-04.pdf

Received on Thursday, 15 December 2022 14:19:08 UTC