Re: A possible error in Prov-O RDF

> On 12 Oct 2017, at 14:55, Tyson, Kevin <Kevin.Tyson@jpmorgan.com <mailto:Kevin.Tyson@jpmorgan.com>> wrote:
> 
> Ivan,
> You’re right.  One of my tools introduced this triple.  I’ll back track through the process and find where I went wrong.

But it is not _wrong_! It is just superfluous, it can be safely ignored (and is ignored by, say, OWL reasoners that already know that information out of the box…)

Cheers

Ivan


> Thanks for the info,
> Kevin
> 
> Kevin P. Tyson | Executive Director | JPMorgan Chase | Office of Legal Obligations
> 383 Madison Ave, Floor 25 NY, NY, 10179, United States, Mail Code: NY1-M114
> Desk: +1-212-622-0912 | Cell: +1-914-548-0411 | Fax: +1-917-937-5029
> Conf: +1-888-575-5762 PC: 45130218 | SeeMe Bridge# 780995 | Email: Kevin.Tyson@jpmorgan.com <mailto:Kevin.Tyson@jpmorgan.com>
> 
> From: Ivan Herman [mailto:ivan@w3.org <mailto:ivan@w3.org>]
> Sent: Thursday, October 12, 2017 3:55 AM
> To: Tyson, Kevin
> Cc: public-prov-comments@w3.org <mailto:public-prov-comments@w3.org>; lebot@rpi.edu <mailto:lebot@rpi.edu>
> Subject: Re: A possible error in Prov-O RDF
> 
> Kevin,
> 
> which file are you looking at? The turtle version of Prov-O is at
> 
> http://www.w3.org/ns/prov-o.ttl <http://www.w3.org/ns/prov-o.ttl>
> 
> which contains only the (owl:Thing rdf:type owl:Class) triple.
> 
> Regardless… both triples are actually correct, albeit largely unnecessary. They are, afaik, part of the axiomatic statements of OWL2 and, as such, having them in this TTL file does not add any knew knowledge. These types of axioms are often added by conversion tools or ontology editors and, I presume, this is what you are looking at.
> 
> (Tim Lebo might know more of the details.)
> 
> Cheers
> 
> Ivan
> 
> On 11 Oct 2017, at 21:23, Tyson, Kevin <Kevin.Tyson@jpmorgan.com <mailto:Kevin.Tyson@jpmorgan.com>> wrote:
> 
> Greetings,
> On line 27 of the TTL formatted version of the Prov-O RDF I found the following line:
> owl:Thing  rdf:type owl:Class ;  rdfs:subClassOf owl:Thing ;.
> I believe this is an error.  If it isn’t an explanatory note describing its purpose would be helpful.
> Thanks in advance,
> Kevin
> 
> Kevin P. Tyson | Executive Director | JPMorgan Chase | Office of Legal Obligations
> 383 Madison Ave, Floor 25 NY, NY, 10179, United States, Mail Code: NY1-M114
> Desk: +1-212-622-0912 | Cell: +1-914-548-0411 | Fax: +1-917-937-5029
> Conf: +1-888-575-5762 PC: 45130218 | SeeMe Bridge# 780995 | Email: Kevin.Tyson@jpmorgan.com <mailto:Kevin.Tyson@jpmorgan.com>
> 
> This message is confidential and subject to terms at: http://www.jpmorgan.com/emaildisclaimer <http://www.jpmorgan.com/emaildisclaimer> including on confidentiality, legal privilege, viruses and monitoring of electronic messages. If you are not the intended recipient, please delete this message and notify the sender immediately. Any unauthorized use is strictly prohibited.
> 
> 
> ----
> Ivan Herman, W3C
> Publishing@W3C Technical Lead
> Home: http://www.w3.org/People/Ivan/ <http://www.w3.org/People/Ivan/>
> mobile: +31-641044153
> ORCID ID: http://orcid.org/0000-0003-0782-2704 <http://orcid.org/0000-0003-0782-2704>
> 
> This message is confidential and subject to terms at: http://www.jpmorgan.com/emaildisclaimer <http://www.jpmorgan.com/emaildisclaimer> including on confidentiality, legal privilege, viruses and monitoring of electronic messages. If you are not the intended recipient, please delete this message and notify the sender immediately. Any unauthorized use is strictly prohibited.
> 


----
Ivan Herman, W3C
Publishing@W3C Technical Lead
Home: http://www.w3.org/People/Ivan/ <http://www.w3.org/People/Ivan/>
mobile: +31-641044153
ORCID ID: http://orcid.org/0000-0003-0782-2704 <http://orcid.org/0000-0003-0782-2704>