Re: Semantic Predication: 1 - basic distinctions

On 16 Feb 2023, at 16:01, Franconi Enrico <franconi@inf.unibz.it<mailto:franconi@inf.unibz.it>> wrote:

In the last example on semantic predicatins in eMail nr. 2 you use properties ":spouse-1" and ":spouse-2", defined as subproperties of ":spouse". Note that here you are employing the Singleton Property approach and wouldn't need quoted triples at all. But, because quoted triples reference the type, practically all your examples could face the same need to account for a multiplicity of annotations. Ergo Singleton Properties might be the better approach after all.

I don’t know where to read in order to understand what the Singleton Property is (my fault, sorry…).

OK, I’m studying now the singleton property in Vinh Nguyen, Amit P. Sheth: Logical Inferences with Contexts of RDF Triples (2017) [and previous references]; I’m not sure we need all that machinery, but some of the syntactic choices are appealing.
I’l go deeper.
—e.