Correction: RDF* semantics

On 8/30/19 10:56 PM, Kingsley Idehen wrote:
>
> You are correct, but explaining in plain English prose doesn't deliver
> your core intuition without loss.
>
> SPARQL is a better tool for this task.
>
> Sentence collection creation using SPARQL INSERT:
>
> PREFIX schema: <http://schema.org/>
> PREFIX : <urn:records:test#>
> PREFIX foaf: <http://xmlns.com/foaf/0.1/>
>
> INSERT 
> {
>
> GRAPH <urn:records:test> {
>
> :Alice :claims [ a foaf:Person; foaf:name "Bob"; foaf:age
> "23"^^xsd:integer] .
>
> :claims a rdf:Property ;
>         rdfs:domain foaf:Person ;
>         rdfs:range rdf:Statement .  }
> }
>

Meant to say:

PREFIX schema: <http://schema.org/>
PREFIX : <urn:records:test#>
PREFIX foaf: <http://xmlns.com/foaf/0.1/>

INSERT 
{

GRAPH <urn:records:test> {

:Alice :claims [ a foaf:Person; foaf:name "Bob"; foaf:age
"23"^^xsd:integer] .

:claims a rdf:Property ;
        rdfs:domain foaf:Person ;
        rdfs:range owl:Thing ;
        rdfs:comment """Property that associates a Person with something
they have an opinion about""" . }
}

> Question: 
> Who is the Person, that has a foaf:name, and is claimed by Alice to be 23 years of age? Of course the answer is a Person named "Bob" as per:
>
> Query:
>
> PREFIX : <urn:records:test#>
> SELECT DISTINCT *
> FROM <urn:records:test>
> WHERE { :Alice :claims [ a foaf:Person; foaf:name ?o;  foaf:age
> "23"^^xsd:integer ] }
>
> Query Result
> <http://linkeddata.uriburner.com/sparql?default-graph-uri=&query=PREFIX+%3A+%3Curn%3Arecords%3Atest%23%3E%0D%0ASELECT+DISTINCT+*%0D%0AFROM+%3Curn%3Arecords%3Atest%3E%0D%0AWHERE+%7B+%3AAlice+%3Aclaims+%5B+a+foaf%3APerson%3B+foaf%3Aname+%3Fo%3B++foaf%3Aage+%2223%22%5E%5Exsd%3Ainteger+%5D+%7D%0D%0A%0D%0A%0D%0A%0D%0A&should-sponge=&format=text%2Fhtml&CXML_redir_for_subjs=121&CXML_redir_for_hrefs=&timeout=30000000> 
> -- shows that :Alice claims a Person foaf:named "Bob" is 23 years of
> age .
>
>
> What I take from all of this is a reminder that RDF != English i.e.,
> :claims or :likes mean zilch without context provided by rdfs:domain
> and rdfs:range (or other definitions from OWL or ontologies with
> similar purpose). It is actually more to do with logic (a language we
> all speak [with varying degrees of proficiency] albeit using different
> vernacular <https://www.lexico.com/en/definition/vernacular#this> e.g
> English).
>

The rest stay unchanged. 

Note, if :claims had domain rdf:Statement the following questions become
quite cumbersome to answer:

1. Alice :claim the foaf:age of the Person named Bob to be what?

2. What is the foaf:age of a Person named Bob?

-- 
Regards,

Kingsley Idehen       
Founder & CEO 
OpenLink Software   
Home Page: http://www.openlinksw.com
Community Support: https://community.openlinksw.com
Weblogs (Blogs):
Company Blog: https://medium.com/openlink-software-blog
Virtuoso Blog: https://medium.com/virtuoso-blog
Data Access Drivers Blog: https://medium.com/openlink-odbc-jdbc-ado-net-data-access-drivers

Personal Weblogs (Blogs):
Medium Blog: https://medium.com/@kidehen
Legacy Blogs: http://www.openlinksw.com/blog/~kidehen/
              http://kidehen.blogspot.com

Profile Pages:
Pinterest: https://www.pinterest.com/kidehen/
Quora: https://www.quora.com/profile/Kingsley-Uyi-Idehen
Twitter: https://twitter.com/kidehen
Google+: https://plus.google.com/+KingsleyIdehen/about
LinkedIn: http://www.linkedin.com/in/kidehen

Web Identities (WebID):
Personal: http://kingsley.idehen.net/public_home/kidehen/profile.ttl#i
        : http://id.myopenlink.net/DAV/home/KingsleyUyiIdehen/Public/kingsley.ttl#this