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:16:16 +0100
Cc: public-owl-dev@w3.org
Message-Id: <319E5152-1012-404A-97AF-19BC9ADB668B@cs.man.ac.uk>
To: Stephan Opfer <stephan.opfer@gmx.net>
OTOH, since OWL is first order you can't rule out unintended model with rouge pieces (i.e., you want to the smallest relation that makes the tree...or the tree won't be well founded, for example).

hasChild still ain't transitive though!
Received on Thursday, 31 May 2012 13:16:53 UTC

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