W3C home > Mailing lists > Public > public-prov-wg@w3.org > October 2012

Re: PROV-ISSUE-560: type overlap question [prov-dm-constraints]

From: James Cheney <jcheney@inf.ed.ac.uk>
Date: Mon, 29 Oct 2012 11:03:54 +0000
Message-Id: <BC95ACA3-DCB4-4C69-A831-87C3F13AB97B@inf.ed.ac.uk>
To: Provenance Working Group <public-prov-wg@w3.org>
I've closed this now.

--James

On Oct 26, 2012, at 1:37 PM, James Cheney wrote:

> 
> There doesn't seem to be a clear consensus in favor of imposing additional disjointness constraints between subtypes of entity and agent.  I agree with Paul's point that it is better not to over-constrain.  (For example, maybe a person with multiple personalities could also be a collection?!)
> 
> I propose that no change is needed to address the issue.  Marked pending review.  Any objection to closing?
> 
> --James
> 
> On Sep 26, 2012, at 1:08 PM, Paul Groth wrote:
> 
>> Hi,
>> 
>> Just a response on this one, I think constraints should be there for
>> provenance purposes. Does the constraint help me make "better"
>> provenance? Obviously, we will always allow this overlap in the DM, so
>> does adding a constraint here help something.
>> 
>> My tendency is to not add more constraints if they are not
>> fundamental. This does not seem to be a fundamental thing.
>> 
>> cheers
>> 
>> Paul
>> 
>> On Wed, Sep 26, 2012 at 8:51 AM, Provenance Working Group Issue
>> Tracker <sysbot+tracker@w3.org> wrote:
>>> PROV-ISSUE-560: type overlap question [prov-dm-constraints]
>>> 
>>> http://www.w3.org/2011/prov/track/issues/560
>>> 
>>> Raised by: Luc Moreau
>>> On product: prov-dm-constraints
>>> 
>>> 
>>> It's clear that an activity cannot be an entity.
>>> 
>>> It's also clear that an agent may be an entity (or an activity).
>>> 
>>> Given this, can a prov:Person be a prov:Collection?  Currently, this is permitted.
>>> 
>>> We have not explicitly considered type overlap impossibility for subtypes of Entity and Agent.
>>> 
>>> 
>>> 
>> 
>> 
>> 
>> -- 
>> --
>> Dr. Paul Groth (p.t.groth@vu.nl)
>> http://www.few.vu.nl/~pgroth/
>> Assistant Professor
>> - Knowledge Representation & Reasoning Group |
>> Artificial Intelligence Section | Department of Computer Science
>> - The Network Institute
>> VU University Amsterdam
>> 
>> 
> 
> 
> -- 
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
> 
> 
> 


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Received on Monday, 29 October 2012 11:04:23 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:20 UTC