- From: Deborah L. McGuinness <dlm@cs.rpi.edu>
- Date: Wed, 22 Aug 2012 12:17:54 -0400
- To: public-prov-wg@w3.org
I also can not attend tomorrow but I would like to put in a supporting email for encoding constraints in owl when they fit within the expressive power of owl. This provides a nice way of picking up a set of constraints in a separate ontology module and just letting the reasoner do the checking for us. it also is interesting to see what, if any, constraints need to go beyond the expressive power of owl. as a data point, we took this approach with my PhD student - Jiao Tao ' s thesis. http://www.cs.rpi.edu/~taoj2/ http://tw.rpi.edu/web/person/JiaoTao Deborah On 8/22/2012 12:12 PM, Timothy Lebo wrote: > It is my impression that Stian and Jun are steering the prov-o constraints, and I have not seen any activity. > > Also, I will not be able to attend tomorrow. > > So prov-o constraints folks feel free to organize to meet during that time. > > Regards, > Tim > > On Aug 22, 2012, at 4:25 AM, James Cheney wrote: > >> Hi, >> >> I am not aware of what progress has been on the owl/constraints front but perhaps it has been discussed on the prov-o teleconference. I'll attend if others think it would be worthwhile to use tomorrow's slot (formally or informally) but as far as I know there is no pressing need for this. >> >> --James >> >> On Aug 22, 2012, at 8:19 AM, Ivan Herman wrote: >> >>> Dear all, >>> >>> I was asked by Paul and Luc to chair tomorrow's meeting with a discussion of PROV-XML as a main topic. However I have just received a note from Stephan telling me that half of the PROV-XML group, including himself, will be unavailable tomorrow; ie, it does not make too much sense to have the discussion. >>> >>> Tim & James, another topic that was considered to be on the agenda was the formulation of some of the prov constraints (or all of them) in terms of OWL (or rules?). However, I have not seen any discussion on the mailing list on this topic the past few days/weeks, ie, I am not sure we could have a fruitful discussion... >>> >>> I would therefore propose to cancel the formal meeting. Tim & James, if you think that an informal discussion on the constraints/OWL issues would make sense, we can use the channel and the time for those who are interested in that particular topic; I would be happy to join this. But it is up to you to tell me if such discussion would make sense at this point. >>> >>> Thanks >>> >>> Ivan >>> >>> ---- >>> Ivan Herman, W3C Semantic Web Activity Lead >>> Home: http://www.w3.org/People/Ivan/ >>> mobile: +31-641044153 >>> FOAF: http://www.ivan-herman.net/foaf.rdf >>> >>> >>> >>> >>> >>> >>> >> >> -- >> The University of Edinburgh is a charitable body, registered in >> Scotland, with registration number SC005336. >> >> >> >
Received on Wednesday, 22 August 2012 16:18:37 UTC