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

[owl changed] Re: PROV-ISSUE-291 (TLebo): Entity owl:disjointWith Activity [mapping prov-dm <-> prov-o]

From: Timothy Lebo <lebot@rpi.edu>
Date: Mon, 5 Mar 2012 17:28:41 -0500
Message-Id: <71E35504-844D-4C68-9606-0DECF755B903@rpi.edu>
To: Provenance Working Group WG <public-prov-wg@w3.org>
http://dvcs.w3.org/hg/prov/rev/787ce8e3531e

makes entity disjoint with activity

-Tim


On Mar 5, 2012, at 5:04 PM, Luc Moreau wrote:

> Hi Tim,
> 
> Yes, this seems to be aligned with prov-dm.
> 
> Can you explain me how an axiom like this should be interpreted
> if we have accounts/named graph.
> 
> In acc1,
>  :a a Entity
> 
> in acc2,
>   :a a Activity
> 
> Is the axiom holding within a given account/named graph, but not necessarily across?
> 
> Thanks,
> Luc
> 
> On 05/03/12 13:59, Provenance Working Group Issue Tracker wrote:
>> PROV-ISSUE-291 (TLebo): Entity owl:disjointWith Activity [mapping prov-dm<->  prov-o]
>> 
>> http://www.w3.org/2011/prov/track/issues/291
>> 
>> Raised by: Timothy Lebo
>> On product: mapping prov-dm<->  prov-o
>> 
>> Should:
>> 
>> Entity owl:disjointWith Activity ?
>> 
>> -Tim
>> 
>> 
>> 
>> 
>>   
> 
> 
Received on Monday, 5 March 2012 22:29:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:58 GMT