Re: comparing to OWL and SPIN

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