Re: Inference for error checking [was Re: How to avoid that collections break relationships]

2014-04-07 Thread Gannon Dick
Hi Peter, Data Sets all age at the same rate, (1460 Days + 1 Leap Day per 16 Calendar Quarters) or any scalar multiple of that single frequency. The frequency is man-made. Certainly error checking is good, but cross-domain data transfers are only a transportation service via a dumb pipe. I

Re: Inference for error checking [was Re: How to avoid that collections break relationships]

2014-04-06 Thread Peter F. Patel-Schneider
Well, certainly, one could do this if one wanted to. However, is this a useful thing to do, in general, particularly in the absence of constructs that actually sanction the inferenceand particularly if the checking is done in a context where there is no way of actually getting the author to

Re: Inference for error checking [was Re: How to avoid that collections break relationships]

2014-04-06 Thread David Booth
On 04/06/2014 09:07 PM, Peter F. Patel-Schneider wrote: Well, certainly, one could do this if one wanted to. However, is this a useful thing to do, in general, particularly in the absence of constructs that actually sanction the inference and particularly if the checking is done in a context

Re: Inference for error checking [was Re: How to avoid that collections break relationships]

2014-04-03 Thread David Booth
First of all, my sincere apologies to Pat, Peter and the rest of the readership for totally botching my last example, writing domain when I meant range *and* explaining it wrong. Sorry for all the confusion it caused! I was simply trying to demonstrate how a schema:domainIncludes assertion

Re: Inference for error checking [was Re: How to avoid that collections break relationships]

2014-04-02 Thread Peter F. Patel-Schneider
On 03/31/2014 01:39 PM, David Booth wrote: On 03/31/2014 11:59 AM, Peter F. Patel-Schneider wrote: [...] Given this error checking objective, if a system is given the facts: x ppp y . y a ccc . then without also knowing that ppp schema:domainIncludes ccc, the system may not be able to

Re: Inference for error checking [was Re: How to avoid that collections break relationships]

2014-04-02 Thread Pat Hayes
On Mar 31, 2014, at 10:31 AM, David Booth da...@dbooth.org wrote: On 03/30/2014 03:13 AM, Pat Hayes wrote: [ , . . ] What follows from knowing that ppp schema:domainIncludes ccc . ? Suppose you know this and you also know that x ppp y . Can you infer x rdf:type ccc? I presume

Inference for error checking [was Re: How to avoid that collections break relationships]

2014-03-31 Thread David Booth
On 03/30/2014 03:13 AM, Pat Hayes wrote: [ , . . ] What follows from knowing that ppp schema:domainIncludes ccc . ? Suppose you know this and you also know that x ppp y . Can you infer x rdf:type ccc? I presume not, since the domain might include other stuff outside ccc. So, what *can* be

Re: Inference for error checking [was Re: How to avoid that collections break relationships]

2014-03-31 Thread Peter F. Patel-Schneider
On 03/31/2014 08:31 AM, David Booth wrote: On 03/30/2014 03:13 AM, Pat Hayes wrote: [ , . . ] What follows from knowing that ppp schema:domainIncludes ccc . ? Suppose you know this and you also know that x ppp y . Can you infer x rdf:type ccc? I presume not, since the domain might