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.

Received on Thursday, 31 May 2012 13:09:49 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:20 UTC