W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2012

Re: Describing Trees in OWL?

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Thu, 31 May 2012 14:09:20 +0100
Cc: public-owl-dev@w3.org
Message-Id: <16362AED-9946-404D-9A7C-9A3216F0C6E0@cs.man.ac.uk>
To: Stephan Opfer <stephan.opfer@gmx.net>
On 31 May 2012, at 09:40, Stephan Opfer wrote:

> Hello,
> 
> I recently noticed, that although the model of an owl axiom should have
> tree property, it is not possible to describe a tree data structure in
> OWL. The way I would model it, is to create a class Node and a property
> hasChild and make the hasChild property transitive and irreflexive,

This would be wrong. In trees, "hasChild" is not transitive.

Cheers,
Bijan.
Received on Thursday, 31 May 2012 13:09:49 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:59 GMT