RDF‐star examples of profiles

RDF-star examples of profiles

In a concrete syntax (Turtle, in this document) there is the need to specify whether a reifier is in the transparent profile or in the functional opaque profile. Here, we write a triple term within quotes to specify a reifier in the functional opaque profile, and a triple term without quotes to denote a reifier in the transparent profile.

Example of functional opaque profile to encode a Neo4j LPG

fraud:transfer rdfs:domain fraud:sender .
fraud:transfer rdfs:range fraud:recipient .
fraud:sender rdfs:subClassOf fraud:account .
fraud:recipient rdfs:subClassOf fraud:account .
<< :e1 | ':account-123 fraud:transfer :account-456' >> a fraud:transaction . 
<< :e2 | ':account-123 fraud:transfer :account-456' >> a fraud:transaction . 
:e1 fraud:amount "10000""^^xsd:integer .
:e1 https://schema.org/datePosted "2002-09-24Z"^^xsd:date
:e1 fraud:registered-at http://wikileaks.org/banking:panama-database .
:e2 rdfs:comment "Transaction not reliable due to contradictory data" .
:e2 https://schema.org/datePosted "2002-10-11Z"^^xsd:date .
:account-123 fraud:owner :john .
:account-456 fraud:owner :mary ; fraud:isBlocked "true"^^xsd:boolean .

Example of transparent profile

<< _:w1 | :liz :married _:h >> a :marriage ; :starts 1964.
<< _:w2 | :liz :married _:h >> a :marriage ; :starts 1975.
_:h owl:sameAs :richard .
<< _:w1 | :liz :married :richard >> a :marriage ; :starts 1964.
<< _:w1 | :richard :married :liz >> a :marriage ; :ends 1974 .

Example of functional opaque profile

_:x owl:sameAs _:y .
_:x owl:sameAs :richard .
<< _:t2 | ':liz :married _:x' >> a :TripleToken.
_:t2 :in-graph http://example.com/weddings ; :stored-by :mary .
_:t2 :on-date "2020-03-12Z"^^xsd:date .
_:t2 rdfs:seeAlso https://lasvegasnevada.gov:t1 .
<< _:t3 | ':liz :married _:y' >> a :TripleToken.
_:t3 :in-graph http://example.com/weddings ; :stored-by :paul .
_:t3 :on-date "2020-03-13Z"^^xsd:date .

Example of transparent profile for data integration

# graph 1
<< :w1 | :liz :married _:h >> a :marriage ; :starts 1964.
<< :w2 | :liz :married _:h >> a :marriage ; :starts 1975.
_:h owl:sameAs :richard .
<< :w1 | :richard :married :liz >> a :marriage ; :ends 1974 .
# graph 2
<< :w2 | :richard :married-in :las-vegas >> :best-man :jim-benton .
<< :w2 | :liz :married-on 1975 >> :location :las-vegas .
:w2 :groom :richard .
:w2 :bride :liz .

Example of transparent profile

<< _:w3 | :bill-clinton :related-to :hillary-rodham >> :starts 1975 .
<< _:w3 | :42nd-potus :husband :1st-female-NY-senator >> :starts 1975 .

Example of mixed functional opaque and transparent profiles

@prefix lvn: <https://lasvegasnevada.gov/resource/>
<< lvn:t1 | ':liz :married :richard' >> a :TripleToken .
lvn:t1 :added-in lvn:rdf-registry ; :stored-by :john . 
lvn:t1 :on-date "2006-03-12Z"^^xsd:date .
lvn:t1 :provenance lvn:database-1975-123973q2 .
<<lvn:c1 | :liz :married :richard >> a lvn:weddingCertificate .
lvn:c1 lvn:wedding-starts 1975 .
<<lvn:c2 | :liz :married :richard >> a lvn:weddingCertificate .
lvn:c2 lvn:wedding-starts 1964 .
<<lvn:c3 | :liz :married :richard >> a lvn:weddingCertificate .
lvn:c3 lvn:wedding-starts 1971 .
lvn:c1 :printed-on "2020-10-11Z"^^xsd:date .
lvn:c2 :printed-on "2021-03-12Z"^^xsd:date .
lvn:c3 :printed-on "2021-03-12Z"^^xsd:date .

Examples of transparent profile for statements about statements

<< _:s1 | :paul :loves :mary >> a :fact ; :uttered-by :john .
<< _:s2 | :paul :loves :mary >> a :fact ; :confuted-by :paul .

:john :believes 
  << :s1 | << [] | :liz :spouse :richard >> 
           :starts 1964 >> .
:s1 :certified-by :us-census .

:paul :believes 
  << :s2 | << [] | :liz :spouse :richard >> 
           :starts 1955 >> .