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

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:05:23 UTC