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

Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model]

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Tue, 13 Mar 2012 15:09:59 +0000
Message-ID: <EMEW3|ccc869618a34176eceb54f498c9dfc89o2CFA108L.Moreau|ecs.soton.ac.uk|4F5F6347.4060406@ecs.soton.ac.uk>
To: Stephan Zednik <zednis@rpi.edu>
CC: Provenance Working Group WG <public-prov-wg@w3.org>
Hi Stephan,

But  your point is not specific to this issue. PROV-DM Part II contains 
many constraints that have not been encoded in OWL,
for the reasons that we know.

Right? Can we close ISSUE-203?

Luc


On 03/13/2012 02:51 PM, Stephan Zednik wrote:
> Err, not sure.  The problem is that we have standard way to make this 
> existential qualification clear in OWL, but are prevented from using 
> such because of our OWL-RL requirement.  Stating this rule out of band 
> of the ontology is not a great solution, since the point of using OWL 
> is to put the semantics ~in~ the ontology.
>
> --Stephan

-- 
Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm
Received on Tuesday, 13 March 2012 15:10:35 GMT

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