- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Thu, 17 Jul 2014 08:36:00 -0700
- To: Simon Spero <sesuncedu@gmail.com>
- CC: public-rdf-shapes@w3.org, "Dam, Jesse van" <jesse.vandam@wur.nl>
On 07/17/2014 07:04 AM, Simon Spero wrote: > On Jul 17, 2014 9:25 AM, "Peter F. Patel-Schneider" <pfpschneider@gmail.com > <mailto:pfpschneider@gmail.com>> wrote: > > > Note that I am not saying that an OWL reasoner will do constraint checking > directly out of the box, just that OWL (and RDFS) semantics (and syntax) can > be used to specify constraints. An OWL-based constraint checker would do > things like reporting errors, just as any other constraint checker does. > > See e.g. chapter 6 of Jiao Tao's dissertation - > http://tw.rpi.edu/web/doc/JiaoTaoDissertation . Yes, that's one of the things that a constraint checker can do. This is not to say that the approach there is ideal. > > I don't know why you say that OWL does not support graphs. > > Possibly the benzene type issues that motivated the Description Graphs > extension ? > > http://researchspace.csir.co.za/dspace/handle/10204/4919 I very strongly doubt that this is what was meant. > > Simon > peter
Received on Thursday, 17 July 2014 15:36:30 UTC