- From: Reto Gmür <reto@wymiwyg.com>
- Date: Tue, 23 Feb 2016 16:31:34 +0100
- To: semantic-web@w3.org
On Tue, Feb 23, 2016, at 15:33, Antoine Zimmermann wrote: > Schema.org somehow assumes /total knowledge/ with /local data/ in its > description of property "rangeIncludes". It assumes that we know > everything about the property described, especially all the types that > can be used, and it assumes that the data found where the property is > used is all that exists about it on the Web. Such assumptions is a > powerful heuristic that works very well in many practical cases, but it > is not very Web-compliant, in my opinion. I don't know what makes you believe, that schema.org makes such an assumption. Granted, the semantics of :rangeIncludes are very weak (under OWA) but the fact that you can create contradictions with it shows that it's not completely meaningless. ex:prop1 s:rangeIncludes :Cat . :Cat owl:disjointWith :Dog . ex:prop1 owl:range :Dog . The above graph evaluates to false in every possible world, this is not the case if you omit any of the 3 triples, this shows that `s:rangeIncludes` is not a meaningless decoration. Reto
Received on Tuesday, 23 February 2016 15:31:59 UTC