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/~lavmReceived on Tuesday, 13 March 2012 15:10:35 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:10 UTC