Re: Semantic Predication: 2 - examples

Andy,
the way I see it, the current RDF-star reification would characterise the syntactic embedded triples <<s  p o>>, with minor modifications — e.g., adding something like (<<s p o>>, rdf:type, unstar:triple).
—e.

On 15 Feb 2023, at 14:26, Andy Seaborne <andy@apache.org> wrote:

Enrico,

Thank for providing the examples.

Where does the original reification fit in to predication classifications?

    Andy

On 14/02/2023 16:24, Franconi Enrico wrote:
Here I just list examples of the three different classes:

Semantic predication examples:

<<< :john :teaches :cs101 >>> rdf:type :teaching ;
                              dct:Location dbr:Stanford_University ;
                              dct:PeriodOfTime :1st-term-2022 .

<<< :catalog-entry-1 dct:creator :alice >>> rdf:type :cataloging ;
                                            dct:created "2022-07-01"^^xsd:date .

<<< dbr:Linköping dbo:populationTotal "104232"^^xsd::nonNegativeInteger >>>
  rdf:type :survey
  :measuredOn "2010-12-31"^^xsd:date .

<<< :alice :kills :paul >>> rdf:type :assassination ;
                            schema:instrument :knife .

<<< :salad :tastes :delicious >>> rdf:type :degustation ;
                                  :tasted-by :john .

<<< :john :has-temperature :high >>> rdf:type :fever-measurement ;
                                     :tendency :falling .

<<< :john :buys :book1 >>> rdf:type :purchase ;
                           dct:location "books.example.com" ;
                           schema:price 15 ;
                           :goal :birthday-gift .

<<< :liz :spouse-1 :richard >>> rdf:type :marriage ;
                                dct:PeriodOfTime :period-1964–1974 .
<<< :liz :spouse-2 :richard >>> rdf:type :marriage ;
                                dct:PeriodOfTime :period-1975–1976 .
                                dct:location dbr:Las_Vegas .
:spouse-1 rdfs:subPropertyOf :spouse .
:spouse-2 rdfs:subPropertyOf :spouse .


Syntactic predication examples:

<< :catalog-entry-1 dct:creator :mary >> dct:created "2022-08-04"^^xsd:date .

<< :john :teaches :cs101 >> :recorded "2021-07-07"^^xsd:date .

<< dbr:Linköping dbo:populationTotal "104232"^^xsd::nonNegativeInteger >>
  :source <https://dbpedia.org/data/Linköping.ttl><https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdbpedia.org%2Fdata%2FLink%25C3%25B6ping.ttl&data=05%7C01%7Cfranconi%40inf.unibz.it%7C2b69dfa9cec34298e19008db0f584a9e%7C9251326703e3401a80d4c58ed6674e3b%7C0%7C0%7C638120644120799986%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=EyBMBF9MnjckcxbIbUJEfWRcN3DuNT7KLBCol%2BYKBgg%3D&reserved=0> .

<<:bob foaf:age 23>> dct:creator ex:crawlers#c1 ;
                     dct:source <http://example.net/listing.html><https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fexample.net%2Flisting.html&data=05%7C01%7Cfranconi%40inf.unibz.it%7C2b69dfa9cec34298e19008db0f584a9e%7C9251326703e3401a80d4c58ed6674e3b%7C0%7C0%7C638120644120799986%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=8SdH5cow6GcJWrTh0LJdz7IZjrGs7zVxgx%2B8xvVYcpc%3D&reserved=0> .

_:a :occurrenceOf << :john :teaches :cs101 >> ;
    :in <file1.ttl> ;
    dct:creator :alice .


Modal/epistemic predication examples:

<<<< :employee38 :jobTitle "Assistant Designer" >>>> :accordingTo :employee22 .

<<<< _:a :name "Alice" >>>> :statedBy :bob .

:alice :says <<<< :paul :name "bob" >>>> ,
             <<<< :paul :likes :alice >>>> .

<<<< :superman :can :fly >>>> :reportedBy :clark .

:alice :ponders <<<< :alice :kills :paul >>>> .

<<<< :christine :has-disease :breast-tumor >>>> :with-probability :high .