On Jul 17, 2014 9:25 AM, "Peter F. Patel-Schneider" <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 . > 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 Simon
Received on Thursday, 17 July 2014 14:04:34 UTC